diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 1a31302..7919963 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -20,6 +20,8 @@ jobs:
         run: |
           cd ..
           git clone https://github.com/creusot-rs/creusot --single-branch --branch $CREUSOT_VERSION
+          mkdir -p ~/.cargo
+          echo -e '[patch.crates-io]\ncreusot-std.path = "'`pwd`'/creusot/creusot-std"' > ~/.cargo/config.toml
 
       - name: Build and test
         run: cargo test -Fsolutions