Update ubuntu_22_04.yml

rems-project · Jun 27, 2024 · ee4743c · ee4743c
1 parent c265e27
commit ee4743c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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