Make github action init git in clayx repo

Calyx Docker container 0.6.0 does not have git initialized in /home/calyx
calyxir · Sep 4, 2023 · 619d4ab · 619d4ab
1 parent 9463e99
commit 619d4ab
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -28,6 +28,8 @@ jobs:
     - name: Checkout commit that triggered run
       working-directory: /home/calyx
       run: |
+        git init
+        git remote add origin [email protected]:cucapra/calyx.git
         git fetch --all
         git checkout $GITHUB_SHA
 
@@ -78,6 +80,8 @@ jobs:
     - name: Checkout commit that triggered run
       working-directory: /home/calyx
       run: |
+        git init
+        git remote add origin [email protected]:cucapra/calyx.git
         git fetch --all
         git checkout $GITHUB_SHA
 
@@ -136,6 +140,8 @@ jobs:
     - name: Checkout commit that triggered run
       working-directory: /home/calyx
       run: |
+        git init
+        git remote add origin [email protected]:cucapra/calyx.git
         git fetch --all
         git checkout $GITHUB_SHA