diff --git a/.github/workflows/ubuntu_22_04.yml b/.github/workflows/ubuntu_22_04.yml
index 6e09927..0203a69 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 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