WIP

hacspec · Nov 11, 2024 · 4ecd828 · 4ecd828
1 parent a290967
commit 4ecd828
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -6,7 +6,6 @@ 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
@@ -16,9 +15,3 @@ jobs:
         env
         opam switch 4.13.1+flambda
         eval $(opam env)
-        cd examples/coverage
-        cargo hax into coq
-        cd proofs/coq/extraction
-        sed 's/_impl_f_/_f_/' < Coverage_Test_instance.v > Coverage_Test_instance.v
-        coq_makefile -f _CoqProject -o Makefile
-        make