From 913794bf1c0e0e00973e230555f380c9ed75e0eb Mon Sep 17 00:00:00 2001 From: Lasse Letager Hansen Date: Sat, 16 Nov 2024 02:58:38 +0100 Subject: [PATCH] WIP --- .github/workflows/extract_and_run_coq.yml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) 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