From 6817c37c1a57e6e4920a746b3f7ac2f029406cb7 Mon Sep 17 00:00:00 2001
From: dvdvgt <david.voigt@mailbox.org>
Date: Sat, 23 Dec 2023 14:34:38 +0100
Subject: [PATCH] update workflow to update submodules correctly

---
 .github/workflows/update-compiler.yml | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/update-compiler.yml b/.github/workflows/update-compiler.yml
index 81b663c..e3b6678 100644
--- a/.github/workflows/update-compiler.yml
+++ b/.github/workflows/update-compiler.yml
@@ -29,12 +29,13 @@ jobs:
 
       - name: Update submodule
         run: |
-          git -C effekt/ checkout master
-          git -C effekt/ pull
-          if [ -n "$effekt_commit" ]; then
-            git -C effekt/ checkout ${{ github.event.inputs.effekt_commit }}
-          fi
-    
+          git submodule update --recursive --remote --init
+        
+      - name: Checkout given commit
+        if: "${{ github.event.inputs.effekt_commit != '' }}"
+        run: |
+          git -C effekt/ checkout ${{ github.event.inputs.effekt_commit }}
+
       - name: Build Effekt JS
         run: |
           cd effekt/
@@ -51,7 +52,7 @@ jobs:
           git config --global user.email "action@github.com"
           git config --global user.name "GitHub Action"
           git add src/ dist/ effekt/
-          git commit -m "update compiler"
+          git commit -m "Github Action: update compiler"
       
       - name: Push changes
         # here we have to make sure that trigger event is on 'manual'