Workflow requires to checkout and sync master before finishing

runtimeverification · Jul 19, 2024 · a7fc1f9 · a7fc1f9
1 parent a8e9163
commit a7fc1f9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -42,5 +42,7 @@ jobs:
             git push origin release
             git tag "release-$(cat package/version)" origin/master
             git push origin "release-$(cat package/version)"
+            git checkout master
+            git merge release
             git push origin master
           fi