diff --git a/.github/workflows/extract_and_run_coq.yml b/.github/workflows/extract_and_run_coq.yml
index 121e2d9f9..88403e050 100644
--- 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/rust-toolchain@1.70
-    # curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
-    # . "$HOME/.cargo/env"
+    - name: install rust
+      # uses: dtolnay/rust-toolchain@1.70
+      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