From 29df3a349530ffea4c275ea5ed5503c0c031d9c2 Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Sun, 14 Jun 2026 10:10:53 +0200
Subject: [PATCH] ci: Add cargo patch for Rust build

---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

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