Releases: runtimeverification/haskell-backend
Releases · runtimeverification/haskell-backend
v0.1.51
Set Version: 0.1.51
v0.1.50
Set Version: 0.1.50
v0.1.49
Set Version: 0.1.49
v0.1.48
Set Version: 0.1.48
v0.1.47
Set Version: 0.1.47
v0.1.46
Set Version: 0.1.46
v0.1.45
Set Version: 0.1.45
v0.1.44
Set Version: 0.1.44
v0.1.43
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
v0.1.42
Set Version: 0.1.42