CI WIP

cryspen · Nov 11, 2024 · 98e9fa3 · 98e9fa3
1 parent fe4f52b
commit 98e9fa3
Show file tree

Hide file tree

Showing 11 changed files with 5 additions and 559 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -6,6 +6,7 @@ jobs:
     runs-on: ubuntu-latest
     container:
       image: coqorg/coq:8.18.0-ocaml-4.13.1-flambda
+      options: --user root
     steps:
     - uses: actions/checkout@v3
     - name: Build

diff --git a/examples/Cargo.lock b/examples/Cargo.lock
diff --git a/examples/coverage/proofs/coq/extraction/Coverage.v b/examples/coverage/proofs/coq/extraction/Coverage.v
diff --git a/examples/coverage/proofs/coq/extraction/Coverage_Test_closures.v b/examples/coverage/proofs/coq/extraction/Coverage_Test_closures.v
diff --git a/examples/coverage/proofs/coq/extraction/Coverage_Test_enum.v b/examples/coverage/proofs/coq/extraction/Coverage_Test_enum.v
diff --git a/examples/coverage/proofs/coq/extraction/Coverage_Test_enum_Test.v b/examples/coverage/proofs/coq/extraction/Coverage_Test_enum_Test.v
diff --git a/examples/coverage/proofs/coq/extraction/Coverage_Test_functions.v b/examples/coverage/proofs/coq/extraction/Coverage_Test_functions.v
diff --git a/examples/coverage/proofs/coq/extraction/Coverage_Test_primitives.v b/examples/coverage/proofs/coq/extraction/Coverage_Test_primitives.v