Skip to content

Actions: runtimeverification/haskell-backend

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Print error message on stderr before writing the bug report (#3714) Release #734: Commit d9fa6ae pushed by rv-jenkins
January 23, 2024 10:26 33m 17s master
master
January 23, 2024 10:26 33m 17s
mention some RTS options in profiling.md (#3713) Release #733: Commit 32ed57a pushed by rv-jenkins
January 18, 2024 12:02 19m 17s master
master
January 18, 2024 12:02 19m 17s
Fix dev shell by including secp256k1 (#3710) Release #732: Commit 25f07c8 pushed by goodlyrottenapple
January 10, 2024 09:50 25m 33s master
master
January 10, 2024 09:50 25m 33s
Update KRYPTO hooks to use Bytes instead of String (#3684) Release #731: Commit 85b593e pushed by rv-jenkins
January 9, 2024 21:23 23m 47s master
master
January 9, 2024 21:23 23m 47s
Revert "Concurrent kore-rpc server (#3704)" (#3707) Release #730: Commit ca05f14 pushed by geo2a
December 20, 2023 09:07 30m 52s master
master
December 20, 2023 09:07 30m 52s