change workflow to pull new changes from effekt repo

effekt-lang · Dec 8, 2023 · 7dab421 · 7dab421
1 parent 285b1ec
commit 7dab421
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/update-compiler.yml b/.github/workflows/update-compiler.yml
@@ -27,16 +27,15 @@ jobs:
 
       - name: Update submodule
         run: |
-          git submodule update --remote --recursive
+          cd effekt/
+          git checkout master
+          git pull
           if [ -n "$effekt_commit" ]; then
-            git -C effekt/ checkout ${{ github.event.inputs.effekt_commit }}
-          else
-            git -C effekt/ checkout master
+            git checkout ${{ github.event.inputs.effekt_commit }}
           fi
     
       - name: Build Effekt JS
         run: |
-          cd effekt/
           sbt assembleJS
     
       - name: Copy js file to website