Skip to content

Commit

Permalink
Update ubuntu_22_04.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
Alasdair authored Apr 17, 2024
1 parent bf1e2b6 commit 90c95b7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ubuntu_22_04.yml
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ jobs:
sudo apt install build-essential libgmp-dev z3 libz3-dev gcc-aarch64-linux-gnu gcc-riscv64-unknown-elf
z3 -version
opam install dune
git clone https://github.com/rems-project/sail.git
git clone --branch new_smt https://github.com/rems-project/sail.git
opam pin -y add sail
- name: Set Rust toolchain
uses: actions-rs/toolchain@v1
Expand Down

0 comments on commit 90c95b7

Please sign in to comment.