From 8c1a76cb3bc1f186e3dc98aa763dc4640c5e262d Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Mon, 17 Feb 2025 17:11:54 +0100
Subject: [PATCH] fixed build file

---
 .github/workflows/extensions.yml | 71 ++++++++++++++++----------------
 1 file changed, 35 insertions(+), 36 deletions(-)

diff --git a/.github/workflows/extensions.yml b/.github/workflows/extensions.yml
index aa69d31..fde1477 100644
--- a/.github/workflows/extensions.yml
+++ b/.github/workflows/extensions.yml
@@ -1,37 +1,36 @@
 on:
-    push:
-      branches: [main]
-    workflow_dispatch:
-  jobs:
-    extensions:
-      runs-on: ubuntu-latest
-      steps:
-        - name: Checkout repository
-          uses: actions/checkout@v4
-          with:
-            token: ${{ secrets.RELEASE_TOKEN }}
-        - name: Configure git user
-          run: |
-            git config --local user.email "action@github.com"
-            git config --local user.name "GitHub Action"
-        - name: Download flowR release
-          uses: robinraju/release-downloader@v1
-          with:
-            repository: flowr-analysis/vscode-flowr
-            latest: true
-            fileName: "*.vsix"
-        - name: Cleanup previous flowR release
-          run: |
-            rm -rf .vscode/extensions/vscode-flowr
-            mkdir -p .vscode/extensions/vscode-flowr
-        - name: Unpack flowR release
-          run: |
-            unzip -o *.vsix -d _unpacked
-            cp -a _unpacked/extension/. .vscode/extensions/vscode-flowr
-            rm -r _unpacked *.vsix
-        - name: Commit and push changes
-          run: |
-            git add .
-            git commit -m "[skip ci] Update flowR extension"
-            git push
-  
\ No newline at end of file
+  push:
+    branches: [main]
+  workflow_dispatch:
+jobs:
+  extensions:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.RELEASE_TOKEN }}
+      - name: Configure git user
+        run: |
+          git config --local user.email "action@github.com"
+          git config --local user.name "GitHub Action"
+      - name: Download flowR release
+        uses: robinraju/release-downloader@v1
+        with:
+          repository: flowr-analysis/vscode-flowr
+          latest: true
+          fileName: "*.vsix"
+      - name: Cleanup previous flowR release
+        run: |
+          rm -rf .vscode/extensions/vscode-flowr
+          mkdir -p .vscode/extensions/vscode-flowr
+      - name: Unpack flowR release
+        run: |
+          unzip -o *.vsix -d _unpacked
+          cp -a _unpacked/extension/. .vscode/extensions/vscode-flowr
+          rm -r _unpacked *.vsix
+      - name: Commit and push changes
+        run: |
+          git add .
+          git commit -m "[skip ci] Update flowR extension"
+          git push