Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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
- Loading branch information