From ee4743c2e4d86fe9884294b1700bd059681fc642 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Thu, 27 Jun 2024 13:38:37 +0100 Subject: [PATCH] Update ubuntu_22_04.yml --- .github/workflows/ubuntu_22_04.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ubuntu_22_04.yml b/.github/workflows/ubuntu_22_04.yml index 0203a69..6e09927 100644 --- a/.github/workflows/ubuntu_22_04.yml +++ b/.github/workflows/ubuntu_22_04.yml @@ -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 --branch new_smt https://github.com/rems-project/sail.git + git clone https://github.com/rems-project/sail.git opam pin -y add sail - name: Set Rust toolchain uses: actions-rs/toolchain@v1