fix branch name

egraphs-good · Apr 27, 2024 · 9216bbd · 9216bbd
1 parent 8520903
commit 9216bbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml
@@ -35,7 +35,7 @@ jobs:
           git config user.name github-actions[bot]
           git config user.email 41898282+github-actions[bot]@users.noreply.github.com
           VERSION=$(python increment_version.py $TYPE)
-          git checkout -b "release-$VERSION"
+          git checkout -b "version-$VERSION"
           git commit -am "Version $VERSION"
           git push -u origin HEAD
           gh pr create --fill