fix: memote ignore git repo status

SysBioChalmers · Jul 2, 2021 · c897a25 · c897a25
1 parent 03ee753
commit c897a25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/memote-history.yml b/.github/workflows/memote-history.yml
@@ -41,7 +41,7 @@ jobs:
 
     - name: Memote short run
       run: |
-        memote run --skip-unchanged --solver-timeout 30
+        memote run --ignore-git --skip-unchanged --solver-timeout 30
 
     - name: Compute Memote history on push
       run: |