Use core for coq coverage test

hacspec · Nov 25, 2024 · 02248e2 · 02248e2
1 parent 0e45a0f
commit 02248e2
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -28,6 +28,13 @@ jobs:
           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"
 
+      - name: build and run coq on tests
+        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 install"
+
       - name: build and run coq on tests
         env:
           FILES: assert attribute-opaque constructor-as-closure enum-repr enum-struct-variant even