WIP

hacspec · Nov 16, 2024 · 913794b · 913794b
1 parent a53910a
commit 913794b
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
@@ -6,8 +6,8 @@ jobs:
     runs-on: ubuntu-latest
     container:
       image: coqorg/base:5.0.0  # coqorg/coq:8.18.0-ocaml-5.0.0
-    permissions:
-      contents: write
+    # permissions:
+    #   contents: write
     steps:
     - name: nodejs install
       run: |
@@ -18,9 +18,11 @@ jobs:
         # node -v
         # npm -v
         sudo apt update && sudo apt install nodejs -y
-    - uses: dtolnay/[email protected]
-    # curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
-    # . "$HOME/.cargo/env"
+    - name: install rust
+      # uses: dtolnay/[email protected]
+      run: |
+        curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
+        . "$HOME/.cargo/env"
     - name: jq install
       run: sudo apt update && sudo apt install jq -y
     - name: opam setup