Skip to content

Actions: runtimeverification/haskell-backend

Actions

Bump version and make release job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refuse to apply sort predicates to unevaluated terms (#4133) Bump version and make release job #150: Commit b88b8b6 pushed by jberthold
25m 39s master
master
25m 39s
Update dependency: deps/k_release (#4130) Bump version and make release job #149: Commit 978a558 pushed by automergerpr-permission-manager bot
12m 14s master
master
12m 14s
Update dependency: deps/k_release (#4129) Bump version and make release job #148: Commit 8a7a281 pushed by jberthold
11m 57s master
master
11m 57s
Update dependency: deps/k_release (#4126) Bump version and make release job #147: Commit b2fa7e6 pushed by automergerpr-permission-manager bot
12m 9s master
master
12m 9s
Dropping IOHK from WFs (#4128) Bump version and make release job #146: Commit 9b7ae0a pushed by F-WRunTime
11m 48s master
master
11m 48s
Set MacOS CI Runner Version to Latest (#4127) Bump version and make release job #145: Commit cacff55 pushed by F-WRunTime
25m 39s master
master
25m 39s
Update dependency: deps/k_release (#4125) Bump version and make release job #144: Commit 91af63d pushed by automergerpr-permission-manager bot
25m 57s master
master
25m 57s
HOTFIX update nix versions in CI workflows (#4124) Bump version and make release job #143: Commit c91e0ee pushed by jberthold
11m 30s master
master
11m 30s
Update dependency: deps/k_release (#4123) Bump version and make release job #142: Commit 6294403 pushed by jberthold
26m 24s master
master
26m 24s
4118 better indexing for rewrite rules (#4120) Bump version and make release job #141: Commit b5d3b9f pushed by jberthold
11m 53s master
master
11m 53s
HOTFIXES not stuck on uneval.d functions, replacement from path condi… Bump version and make release job #140: Commit fbee2cb pushed by jberthold
11m 48s master
master
11m 48s
Update dependency: deps/k_release (#4114) Bump version and make release job #139: Commit 9b319f1 pushed by automergerpr-permission-manager bot
25m 45s master
master
25m 45s
HOTFIX free after simplify bool, call munmap after each request (#4115) Bump version and make release job #138: Commit a135276 pushed by jberthold
26m 11s master
master
26m 11s
Update dependency: deps/k_release (#4113) Bump version and make release job #137: Commit 6642ad4 pushed by automergerpr-permission-manager bot
11m 26s master
master
11m 26s
Update dependency: deps/k_release (#4110) Bump version and make release job #136: Commit 60be56f pushed by automergerpr-permission-manager bot
12m 1s master
master
12m 1s
Fix LIST.in hook for non-constructor-like list elements (#4111) Bump version and make release job #135: Commit f5823a9 pushed by automergerpr-permission-manager bot
11m 54s master
master
11m 54s
Update nix flake inputs structure and add dependency update workflow … Bump version and make release job #134: Commit b6a5b43 pushed by automergerpr-permission-manager bot
11m 43s master
master
11m 43s
Update dependency: deps/k_release (#4107) Bump version and make release job #133: Commit abd4267 pushed by jberthold
12m 9s master
master
12m 9s
LIST.listRange in legacy kore, more list hooks and list matching in… Bump version and make release job #132: Commit 79f23bf pushed by automergerpr-permission-manager bot
11m 40s master
master
11m 40s
Update dependency: deps/k_release (#4104) Bump version and make release job #131: Commit 48c2b80 pushed by automergerpr-permission-manager bot
25m 53s master
master
25m 53s
Copy instead of link haskell-backend binaries in nix derivation (#4106) Bump version and make release job #130: Commit 362dab3 pushed by automergerpr-permission-manager bot
11m 16s master
master
11m 16s
HOTFIX more comments and error handling in constraint pre-evaluation … Bump version and make release job #129: Commit 035f224 pushed by jberthold
11m 51s master
master
11m 51s
HOTFIX avoid caching extra predicates, only simplify term during rewr… Bump version and make release job #128: Commit 08f0cbd pushed by jberthold
11m 56s master
master
11m 56s
Update dependency: deps/k_release (#4102) Bump version and make release job #127: Commit d3c36c1 pushed by automergerpr-permission-manager bot
11m 59s master
master
11m 59s
Update dependency: deps/k_release (#4099) Bump version and make release job #126: Commit 2a5be78 pushed by automergerpr-permission-manager bot
12m 25s master
master
12m 25s