Push tag in release workflow

Issue gh-11023
2026-08-04 09:17:02 +00:00 · 2022-04-26 10:10:27 +02:00
parent 8914f06eca
commit eba091bad5
1 changed files with 1 additions and 0 deletions
@@ -108,6 +108,7 @@ jobs:
          git commit -am "Release $updatedVersion"
          git tag $updatedVersion
          git push
+          git push origin $updatedVersion
  notify_result:
    name: Check for failures
    needs: [release]