WIP

hacspec · Nov 16, 2024 · 5053de1 · 5053de1
1 parent 0f053e2
commit 5053de1
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -6,14 +6,14 @@ jobs:
     runs-on: ubuntu-latest
     container:
       image: coqorg/base:5.0.0  # coqorg/coq:8.18.0-ocaml-5.0.0
-      options: --user root
+      # options: --user root
     # permissions:
     #   contents: write
     steps:
+    - name: Setup
+      run: sudo mkdir -m 1777 /__w
     - name: Checkout code
       uses: actions/checkout@v4
-    # - name: Setup
-    #   run: mkdir -m 1777 /__w
     - name: env
       run: |
         export HOME=/home/coq
@@ -36,6 +36,9 @@ jobs:
         . "$HOME/.cargo/env"
     - name: jq install
       run: sudo apt update && sudo apt install jq -y
+    - name: opam setup
+      run: |
+        opam switch
     - name: opam setup
       run: |
         opam switch 5.0.0