File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4040 - name : Checkout branch ${{ github.ref_name }}
4141 uses : actions/checkout@v4
4242
43+ - name : Set up OCaml
44+ uses : ocaml/setup-ocaml@v3
45+ with :
46+ ocaml-compiler : ${{env.OCAML_COMILER_VERSION}}
47+ opam-repositories : |
48+ coq-released: https://coq.inria.fr/opam/released
49+ default: https://opam.ocaml.org
50+
4351 - run : sudo apt-get update
44- - run : echo ${{github.workspace}}
45- - run : echo "${{github.workspace}}/_opam"
4652 - name : Restore opam cache
4753 id : opam-cache
4854 uses : actions/cache@v4
5460 restore-keys : |
5561 opam-${{env.OCAML_COMILER_VERSION}}-
5662
57- - name : Set up OCaml
58- uses : ocaml/setup-ocaml@v3
59- with :
60- ocaml-compiler : ${{env.OCAML_COMILER_VERSION}}
61- opam-repositories : |
62- coq-released: https://coq.inria.fr/opam/released
63- default: https://opam.ocaml.org
64-
6563 - name : Build dependencies
6664 # if: ${{ !steps.opam-cache.outputs.cache-hit }}
6765 run : |
@@ -150,10 +148,10 @@ jobs:
150148 path : extraction/tests/extracted-code
151149
152150 - name : Set up Rust
153- uses : actions-rs/ toolchain@v1
151+ uses : dtolnay/rust- toolchain@v1
154152 with :
155153 toolchain : 1.69.0
156- target : wasm32-unknown-unknown
154+ targets : wasm32-unknown-unknown
157155 - name : Set up Concordium tools
158156 run : |
159157 curl -L -O https://distribution.concordium.software/tools/linux/cargo-concordium_1.0.0
You can’t perform that action at this time.
0 commit comments