fix github output name

egraphs-good · Apr 27, 2024 · 980f72d · 980f72d
1 parent cd2b113
commit 980f72d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml
@@ -38,7 +38,7 @@ jobs:
           git checkout -b "release-$VERSION"
           git commit -am "Version $VERSION"
           gh pr create --fill --head release-$VERSION --base main
-          echo "version=$VERSION" >> GITHUB_OUTPUT
+          echo "version=$VERSION" >> "$GITHUB_OUTPUT"
         id: bump
         env:
           TYPE: ${{ inputs.type }}