quote more

reilabs · Jul 25, 2024 · 354e952 · 354e952
1 parent 68a0fbb
commit 354e952
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/prover-test.yml b/.github/workflows/prover-test.yml
@@ -37,7 +37,7 @@ jobs:
       - name: Install Elan
         run: |
           curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y -v --default-toolchain leanprover/lean4:v4.2.0
-          echo "LAKE_VERSION=$(~/.elan/bin/lake --version)" >> $GITHUB_ENV
+          echo "LAKE_VERSION=$(~/.elan/bin/lake --version)" >> "$GITHUB_ENV"
 
       - name: Cache dependencies
         uses: actions/cache@v3