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