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

House keeping (#3914) Release #829: Commit 14a27a9 pushed by jberthold
June 3, 2024 06:29 26m 12s master
master
June 3, 2024 06:29 26m 12s
HOTFIX re-introduce indeterminate result for checkPredicates instea… Release #828: Commit b6ab7a9 pushed by jberthold
May 30, 2024 05:49 14m 12s master
master
May 30, 2024 05:49 14m 12s
Abort on "Unknown" side conditions, don't crash (#3907) Release #827: Commit 22409b1 pushed by jberthold
May 30, 2024 00:34 2m 44s master
master
May 30, 2024 00:34 2m 44s
Don't run CI on intel macOS (#3900) Release #826: Commit 7f482b0 pushed by geo2a
May 29, 2024 13:49 14m 13s master
master
May 29, 2024 13:49 14m 13s
Use pure exceptions in SMT code, abort rewriting on unknown Release #825: Commit 3bf31bb pushed by geo2a
May 29, 2024 13:46 15m 8s master
master
May 29, 2024 13:46 15m 8s
Don't run CI on intel macOS (#3900) Release #824: Commit 7f482b0 pushed by rv-jenkins
May 28, 2024 01:59 14m 53s master
master
May 28, 2024 01:59 14m 53s
Revert "Do not retry SMT query when WarnDecidePredicateUnknown" (#3901) Release #823: Commit deb6870 pushed by rv-jenkins
May 28, 2024 00:04 18m 4s master
master
May 28, 2024 00:04 18m 4s
Increase timestamp resolution (#3893) Release #822: Commit 912cbe6 pushed by rv-jenkins
May 27, 2024 13:25 18m 18s master
master
May 27, 2024 13:25 18m 18s
Fix nix flake devshell (#3897) Release #821: Commit 069533c pushed by geo2a
May 27, 2024 12:00 26m 28s master
master
May 27, 2024 12:00 26m 28s
3874 use several cells to index (#3891) Release #820: Commit dc44cc9 pushed by jberthold
May 27, 2024 10:55 20m 17s master
master
May 27, 2024 10:55 20m 17s
Fix booster-dev context logging (#3892) Release #819: Commit 3d92631 pushed by geo2a
May 27, 2024 08:41 27m 20s master
master
May 27, 2024 08:41 27m 20s
MAP.updateAll implementation on concrete arguments (#3899) Release #818: Commit 974e293 pushed by jberthold
May 25, 2024 13:00 11m 40s master
master
May 25, 2024 13:00 11m 40s
Revert "Update stack.yaml.lock" Release #817: Commit 45aaf89 pushed by geo2a
May 24, 2024 10:58 17m 31s master
master
May 24, 2024 10:58 17m 31s
Update stack.yaml.lock Release #816: Commit 1de64d0 pushed by geo2a
May 24, 2024 10:08 9m 53s master
master
May 24, 2024 10:08 9m 53s
Update to new Nixpkgs (#3890) Release #815: Commit 6e195d1 pushed by rv-jenkins
May 23, 2024 14:02 2h 58m 47s master
master
May 23, 2024 14:02 2h 58m 47s
JSON logging cleanup (#3881) Release #814: Commit e62fba2 pushed by goodlyrottenapple
May 22, 2024 13:22 20m 36s master
master
May 22, 2024 13:22 20m 36s
3863 llvm term cache (#3882) Release #813: Commit 8b7ed67 pushed by jberthold
May 22, 2024 12:11 26m 38s master
master
May 22, 2024 12:11 26m 38s
RPC trace cleanup: remove simplification logs (#3880) Release #812: Commit 0f31483 pushed by rv-jenkins
May 21, 2024 16:26 1h 6m 41s master
master
May 21, 2024 16:26 1h 6m 41s
Update dependency: deps/k_release (#3850) Release #811: Commit 4c6a57a pushed by rv-jenkins
May 21, 2024 10:42 19m 6s master
master
May 21, 2024 10:42 19m 6s
SMT retry logic changes in Kore (#3860) Release #810: Commit f1d4ba6 pushed by rv-jenkins
May 20, 2024 13:03 19m 25s master
master
May 20, 2024 13:03 19m 25s
Only run tests that Kontrol's integration tests job runs (#3879) Release #809: Commit b373660 pushed by rv-jenkins
May 20, 2024 11:23 20m 0s master
master
May 20, 2024 11:23 20m 0s
Improve JSON logging (#3858) Release #808: Commit 6e57788 pushed by rv-jenkins
May 20, 2024 10:02 19m 17s master
master
May 20, 2024 10:02 19m 17s
Fix some small problems (#3878) Release #807: Commit 31bf501 pushed by rv-jenkins
May 20, 2024 08:26 19m 34s master
master
May 20, 2024 08:26 19m 34s
Add one-line legacy log printer (#3876) Release #806: Commit b272101 pushed by jberthold
May 16, 2024 11:00 19m 19s master
master
May 16, 2024 11:00 19m 19s
Partially revert the implication endpoint (#3862) Release #805: Commit 5278433 pushed by geo2a
May 15, 2024 11:58 19m 3s master
master
May 15, 2024 11:58 19m 3s