Skip to content

Actions: runtimeverification/haskell-backend

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
251 workflow runs
251 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tweak type of CouldNotVerifyPattern to fit the booster (#3752) Release #759: Commit 8f97e95 pushed by goodlyrottenapple
March 25, 2024 13:35 18m 49s master
master
March 25, 2024 13:35 18m 49s
Update dependency: deps/k_release (#3746) Release #758: Commit c62d2a8 pushed by rv-jenkins
March 25, 2024 01:56 18m 27s master
master
March 25, 2024 01:56 18m 27s
unify ErrorWithTerm and ErrorWithContext (#3750) Release #757: Commit e50cdfc pushed by goodlyrottenapple
March 22, 2024 14:15 24m 44s master
master
March 22, 2024 14:15 24m 44s
Refactor rpc error types and add smt unknown reason (#3748) Release #756: Commit 9ee4834 pushed by goodlyrottenapple
March 22, 2024 09:26 15m 12s master
master
March 22, 2024 09:26 15m 12s
Prune the remainder branch early if its condition is unsatisfiable (#… Release #755: Commit 093af31 pushed by rv-jenkins
March 21, 2024 00:32 17m 6s master
master
March 21, 2024 00:32 17m 6s
Remove uses of klabel{}(_) attribute for special-casing symbols (#3… Release #754: Commit 94ea4ee pushed by rv-jenkins
March 20, 2024 23:02 15m 20s master
master
March 20, 2024 23:02 15m 20s
Update dependency: deps/k_release (#3739) Release #753: Commit 85c351e pushed by rv-jenkins
March 18, 2024 16:02 22m 10s master
master
March 18, 2024 16:02 22m 10s
Add helpers to deal with kore-rpc RPC logs (#3725) Release #752: Commit 4d5d1fe pushed by rv-jenkins
March 4, 2024 16:26 21m 30s master
master
March 4, 2024 16:26 21m 30s
Update dependency: deps/k_release (#3736) Release #751: Commit cc9fbb1 pushed by rv-jenkins
March 4, 2024 08:48 17m 14s master
master
March 4, 2024 08:48 17m 14s
Add get-model and simplify tests that Z3 cannot decide (#3737) Release #750: Commit 0285741 pushed by jberthold
March 4, 2024 00:15 17m 49s master
master
March 4, 2024 00:15 17m 49s
Update dependency: deps/k_release (#3724) Release #749: Commit 0dcecfa pushed by rv-jenkins
March 1, 2024 00:04 18m 12s master
master
March 1, 2024 00:04 18m 12s
Tidy-up integration tests (#3735) Release #748: Commit b350894 pushed by rv-jenkins
February 29, 2024 14:42 18m 46s master
master
February 29, 2024 14:42 18m 46s
Remove test/regression-c (#3733) Release #747: Commit 86bfe0b pushed by rv-jenkins
February 28, 2024 03:02 17m 53s master
master
February 28, 2024 03:02 17m 53s
Updating workflow actions for deprecation of node16 on Github runner … Release #746: Commit 5a2665d pushed by rv-jenkins
February 28, 2024 00:33 20m 12s master
master
February 28, 2024 00:33 20m 12s
Pin the hashable library to working version 1.4.2.0 (#3732) Release #745: Commit 62a3e13 pushed by geo2a
February 27, 2024 15:07 22m 33s master
master
February 27, 2024 15:07 22m 33s
Bump nixpkgs to 23.11 and GHC to 9.6.4 (#3719) Release #744: Commit fa0d3b2 pushed by goodlyrottenapple
February 23, 2024 09:56 21m 27s master
master
February 23, 2024 09:56 21m 27s
Replace usages of priorities, require, and import (#3728) Release #743: Commit 1910fe4 pushed by rv-jenkins
February 22, 2024 10:25 22m 51s master
master
February 22, 2024 10:25 22m 51s
K 3988 rename overload attribute (#3723) Release #742: Commit ac6908d pushed by rv-jenkins
February 19, 2024 22:02 29m 38s master
master
February 19, 2024 22:02 29m 38s
Update dependency: deps/k_release (#3691) Release #741: Commit 6fd37bd pushed by rv-jenkins
February 19, 2024 11:22 20m 40s master
master
February 19, 2024 11:22 20m 40s
Add module fix (#3721) Release #740: Commit d943208 pushed by goodlyrottenapple
February 19, 2024 10:37 20m 8s master
master
February 19, 2024 10:37 20m 8s
optional text argument for symbol attribute (empty text = no argument… Release #739: Commit e320d4b pushed by jberthold
February 15, 2024 11:06 31m 9s master
master
February 15, 2024 11:06 31m 9s
Bump nixpkgs (#3717) Release #738: Commit c6b4549 pushed by rv-jenkins
February 9, 2024 14:42 28m 56s master
master
February 9, 2024 14:42 28m 56s
kore-rpc - Return branch rule id and condition (#3716) Release #737: Commit 7e2b8b3 pushed by goodlyrottenapple
February 7, 2024 12:42 25m 10s master
master
February 7, 2024 12:42 25m 10s
Remove MultiOr form Result and push branching into LogicT (#3715) Release #736: Commit 3779155 pushed by goodlyrottenapple
January 26, 2024 09:38 26m 3s master
master
January 26, 2024 09:38 26m 3s
Concurrent kore-rpc strikes back (#3708) Release #735: Commit de63565 pushed by goodlyrottenapple
January 24, 2024 09:31 35m 12s master
master
January 24, 2024 09:31 35m 12s