Merge pull request #3568 from TWal/twal/only_update_fstar_in_check_world

fix(check-world): only update F* for Comparse, DY* and MLS*
FStarLang · Oct 15, 2024 · 6e8b157 · 6e8b157
2 parents 28d2213 + a35ab1b
commit 6e8b157
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
@@ -724,7 +724,7 @@ jobs:
 
       - name: Update fstar flake and check
         run: |
-          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake update --update-input fstar-flake --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
           nix flake check
 
   dy-star:
@@ -740,7 +740,7 @@ jobs:
 
       - name: Update fstar flake and check
         run: |
-          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake update --update-input fstar-flake --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
           nix flake check
 
   mls-star:
@@ -756,5 +756,5 @@ jobs:
 
       - name: Update fstar flake and check
         run: |
-          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake update --update-input fstar-flake --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
           nix flake check