From 4d60648ac48574426e8d7082c51cd04722300e62 Mon Sep 17 00:00:00 2001 From: Li-yao Xia Date: Sat, 28 Feb 2026 20:02:47 +0100 Subject: [PATCH] ci: Fix nightly patch --- .github/workflows/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml index 564f7e9..3718cc0 100644 --- a/.github/workflows/nightly.yaml +++ b/.github/workflows/nightly.yaml @@ -44,7 +44,7 @@ jobs: - name: Patch Cargo config for nightly run: | mkdir .cargo - echo -e "[patch.crates-io]\ncreusot-std = { path = "../creusot/creusot-std" }" > .cargo/config.toml + echo -e '[patch.crates-io]\ncreusot-std = { path = "../creusot/creusot-std" }' > .cargo/config.toml - name: Run Creusot run: cargo creusot prove -- -Fsolutions