CI

hacspec · Nov 25, 2024 · 1e4a950 · 1e4a950
1 parent b8dcacd
commit 1e4a950
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -25,7 +25,7 @@ jobs:
         working-directory: hax/proof-libs/coq/coq/generated-core
         run: |
           nix-shell --packages coq coqPackages.coq-record-update --run "coq_makefile -f _CoqProject -o Makefile" && \
-          nix-shell --packages coq coqPackages.coq-record-update --run "make"
+          nix-shell --packages coq coqPackages.coq-record-update --run "make" && \
           nix-shell --packages coq coqPackages.coq-record-update --run "make install"
 
       - name: run coq - coverage