Correct syntax for shell commands when adding Z3 to PATH

Signed-off-by: Rod Chapman <[email protected]>
aws · Jul 25, 2024 · 3f62624 · 3f62624
1 parent 921cb97
commit 3f62624
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -139,7 +139,7 @@ jobs:
           sudo apt-get install --no-install-recommends --yes unzip
           unzip z3.zip
           cd z3-${{ env.Z3_VERSION }}-x64-glibc-2.31/bin \
-            && echo "Adding $(pwd) to PATH for Z3" \\
+            && echo "Adding $(pwd) to PATH for Z3" \
             && echo "$(pwd)" >> $GITHUB_PATH
           rm ./z3.zip
       - name: Build and Install Bitwuzla ${{ env.BITWUZLA_VERSION }}