Fix "update compiler" workflow and update effekt submodule

effekt-lang · Dec 24, 2023 · 054175d · 054175d
1 parent 6817c37
commit 054175d
Show file tree

Hide file tree

Showing 4 changed files with 2,332 additions and 2,216 deletions.
diff --git a/.github/workflows/update-compiler.yml b/.github/workflows/update-compiler.yml
@@ -26,6 +26,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
+          fetch-depth: 0
 
       - name: Update submodule
         run: |
@@ -52,10 +53,10 @@ jobs:
           git config --global user.email "action@github.com"
           git config --global user.name "GitHub Action"
           git add src/ dist/ effekt/
-          git commit -m "Github Action: update compiler"
+          git commit -m "Github Action: update compiler $(git -C effekt show -s --format=%h)"
       
       - name: Push changes
         # here we have to make sure that trigger event is on 'manual'
         # since 'on push' could cause a infinite loop of actions triggering each other
         if: github.event_name == 'workflow_dispatch'
-        run: git push origin master
+        run: git push
diff --git a/dist/ide.chunk.js b/dist/ide.chunk.js
diff --git a/effekt b/effekt