diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
index 648eaf1b7..ba12d3652 100644
--- 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