Skip to content

Releases: runtimeverification/haskell-backend

v0.1.51

29 Jul 13:57

Choose a tag to compare

Set Version: 0.1.51

v0.1.50

26 Jul 17:57

Choose a tag to compare

Set Version: 0.1.50

v0.1.49

25 Jul 08:14

Choose a tag to compare

Set Version: 0.1.49

v0.1.48

25 Jul 07:16

Choose a tag to compare

Set Version: 0.1.48

v0.1.47

23 Jul 11:54

Choose a tag to compare

Set Version: 0.1.47

v0.1.46

18 Jul 15:49

Choose a tag to compare

Set Version: 0.1.46

v0.1.45

18 Jul 11:54

Choose a tag to compare

Set Version: 0.1.45

v0.1.44

17 Jul 13:42

Choose a tag to compare

Set Version: 0.1.44

v0.1.43

17 Jul 11:53
c93594b

Choose a tag to compare

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

17 Jul 11:06

Choose a tag to compare

Set Version: 0.1.42