From c93594b3086f610809dee1e52207bae86bd3d203 Mon Sep 17 00:00:00 2001 From: Jost Berthold Date: Wed, 17 Jul 2024 21:23:12 +1000 Subject: [PATCH] HOTFIX master.yml: Push version tag to `origin` (#3985) The previous PR #3983 had an error in the line that pushes the tag (missing `origin`) see https://github.com/runtimeverification/haskell-backend/actions/runs/9972668145/job/27556861219 --- .github/workflows/master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml index 88513ed2df..e6edbd4e6b 100644 --- a/.github/workflows/master.yml +++ b/.github/workflows/master.yml @@ -79,5 +79,5 @@ jobs: if git add --update && git commit --no-edit --allow-empty --message "Set Version: $(cat package/version)"; then git push origin release git tag "v$(cat package/version)" origin/master - git push "v$(cat package/version)" + git push origin "v$(cat package/version)" fi