Skip to content

Actions: runtimeverification/haskell-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
669 workflow runs
669 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: deps/k_release Test #6711: Pull request #4031 synchronize by rv-jenkins
August 19, 2024 14:43 1h 15m 46s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
August 19, 2024 14:43 1h 15m 46s
Set Version: 0.1.72 Release #913: Commit 1300731 pushed by rv-jenkins
August 19, 2024 14:15 18m 35s release
release
August 19, 2024 14:15 18m 35s
Booster: Only check SMT prelude in initSolver (#4040) Bump version and make release job #78: Commit aa22475 pushed by rv-jenkins
August 19, 2024 14:03 12m 10s master
master
August 19, 2024 14:03 12m 10s
Booster: Only check SMT prelude in initSolver Test #6710: Pull request #4040 synchronize by geo2a
August 19, 2024 12:40 34m 23s georgy/no-smt-prelude-check
georgy/no-smt-prelude-check
August 19, 2024 12:40 34m 23s
Jb/trim booster ground truth Test #6709: Pull request #4038 synchronize by PetarMax
August 19, 2024 12:02 27m 55s jb/trim-booster-ground-truth
jb/trim-booster-ground-truth
August 19, 2024 12:02 27m 55s
Jb/trim booster ground truth Test #6708: Pull request #4038 synchronize by jberthold
August 19, 2024 11:41 21m 24s jb/trim-booster-ground-truth
jb/trim-booster-ground-truth
August 19, 2024 11:41 21m 24s
4012 evaluate pattern pruning Test #6707: Pull request #4020 synchronize by geo2a
August 19, 2024 09:46 38m 52s 4012-evaluate-pattern-pruning
4012-evaluate-pattern-pruning
August 19, 2024 09:46 38m 52s
Booster: Only check SMT prelude in initSolver Test #6706: Pull request #4040 synchronize by geo2a
August 19, 2024 09:43 29m 23s georgy/no-smt-prelude-check
georgy/no-smt-prelude-check
August 19, 2024 09:43 29m 23s
Booster: Only check SMT prelude in initSolver Test #6705: Pull request #4040 opened by geo2a
August 19, 2024 09:28 15m 45s georgy/no-smt-prelude-check
georgy/no-smt-prelude-check
August 19, 2024 09:28 15m 45s
Remove support for antiLeft rules and aliases Test #6704: Pull request #4039 synchronize by goodlyrottenapple
August 19, 2024 08:34 34m 46s sam/remove-antileft-aliases
sam/remove-antileft-aliases
August 19, 2024 08:34 34m 46s
Remove support for antiLeft rules and aliases Test #6703: Pull request #4039 opened by goodlyrottenapple
August 19, 2024 08:20 14m 15s sam/remove-antileft-aliases
sam/remove-antileft-aliases
August 19, 2024 08:20 14m 15s
Set Version: 0.1.71 Release #912: Commit f4e4cca pushed by rv-jenkins
August 19, 2024 08:17 20m 28s release
release
August 19, 2024 08:17 20m 28s
Preserve clause ordering of requires and ensures when internalisi… Bump version and make release job #77: Commit f1d156f pushed by goodlyrottenapple
August 19, 2024 08:05 12m 21s master
master
August 19, 2024 08:05 12m 21s
Jb/trim booster ground truth Test #6702: Pull request #4038 synchronize by rv-jenkins
August 19, 2024 07:45 32m 24s jb/trim-booster-ground-truth
jb/trim-booster-ground-truth
August 19, 2024 07:45 32m 24s
Jb/trim booster ground truth Test #6701: Pull request #4038 opened by jberthold
August 19, 2024 07:44 1m 33s jb/trim-booster-ground-truth
jb/trim-booster-ground-truth
August 19, 2024 07:44 1m 33s
Update dependency: deps/k_release Test #6700: Pull request #4031 synchronize by rv-jenkins
August 16, 2024 17:26 1h 22m 32s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
August 16, 2024 17:26 1h 22m 32s
Preserve clause ordering of requires and ensures when internalisig rules in booster Test #6699: Pull request #4037 synchronize by goodlyrottenapple
August 16, 2024 10:45 36m 45s sam/requires-clause-to-list
sam/requires-clause-to-list
August 16, 2024 10:45 36m 45s
Preserve clause ordering of requires and ensures when internalisig rules in booster Test #6698: Pull request #4037 synchronize by goodlyrottenapple
August 16, 2024 10:17 27m 36s sam/requires-clause-to-list
sam/requires-clause-to-list
August 16, 2024 10:17 27m 36s
Update dependency: deps/k_release Test #6697: Pull request #4031 synchronize by rv-jenkins
August 15, 2024 17:46 56m 48s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
August 15, 2024 17:46 56m 48s
Set Version: 0.1.70 Release #911: Commit d83abc4 pushed by rv-jenkins
August 15, 2024 15:14 18m 31s release
release
August 15, 2024 15:14 18m 31s
Preserve clause ordering of requires and ensures when internalisig rules in booster Test #6696: Pull request #4037 synchronize by rv-jenkins
August 15, 2024 15:07 34m 24s sam/requires-clause-to-list
sam/requires-clause-to-list
August 15, 2024 15:07 34m 24s
Preserve clause ordering of requires and ensures when internalisig rules in booster Test #6695: Pull request #4037 synchronize by goodlyrottenapple
August 15, 2024 15:06 1m 21s sam/requires-clause-to-list
sam/requires-clause-to-list
August 15, 2024 15:06 1m 21s
Preserve clause ordering of requires and ensures when internalisig rules in booster Test #6694: Pull request #4037 synchronize by goodlyrottenapple
August 15, 2024 15:05 25s sam/requires-clause-to-list
sam/requires-clause-to-list
August 15, 2024 15:05 25s
Add --smt-arg to kore (#4025) Bump version and make release job #76: Commit 2faf6c1 pushed by rv-jenkins
August 15, 2024 15:02 12m 5s master
master
August 15, 2024 15:02 12m 5s
Add --smt-arg to kore Test #6693: Pull request #4025 synchronize by rv-jenkins
August 15, 2024 14:02 53m 57s sam/smt-arg-kore
sam/smt-arg-kore
August 15, 2024 14:02 53m 57s
ProTip! You can narrow down the results and go further in time using created:<2024-08-15 or the other filters available.