Skip to content

Actions: runtimeverification/haskell-backend

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
1,937 workflow runs
1,937 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

3956 branching on complete conditions in Booster Test #6792: Pull request #4058 synchronize by geo2a
October 15, 2024 07:34 29m 53s 3956-booster-rewrite-rule-remainders
3956-booster-rewrite-rule-remainders
October 15, 2024 07:34 29m 53s
3956 branching on complete conditions in Booster Test #6791: Pull request #4058 opened by geo2a
October 15, 2024 07:31 3m 14s 3956-booster-rewrite-rule-remainders
3956-booster-rewrite-rule-remainders
October 15, 2024 07:31 3m 14s
Make Pretty prettier Test #6790: Pull request #4057 synchronize by jberthold
October 15, 2024 02:06 25m 0s jb/pimp-pretty-tool
jb/pimp-pretty-tool
October 15, 2024 02:06 25m 0s
Make Pretty prettier Test #6789: Pull request #4057 opened by jberthold
October 15, 2024 02:05 1m 21s jb/pimp-pretty-tool
jb/pimp-pretty-tool
October 15, 2024 02:05 1m 21s
Update dependency: deps/k_release Test #6788: Pull request #4056 synchronize by rv-jenkins
October 12, 2024 00:01 57m 57s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 12, 2024 00:01 57m 57s
Update dependency: deps/k_release Test #6787: Pull request #4056 synchronize by rv-jenkins
October 10, 2024 11:34 1h 13m 31s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 10, 2024 11:34 1h 13m 31s
Update dependency: deps/k_release Test #6786: Pull request #4056 opened by rv-jenkins
October 9, 2024 08:22 59m 15s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 9, 2024 08:22 59m 15s
Update dependency: deps/k_release Test #6785: Pull request #4055 synchronize by rv-jenkins
October 7, 2024 16:26 57m 55s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 7, 2024 16:26 57m 55s
Update dependency: deps/k_release Test #6784: Pull request #4055 synchronize by rv-jenkins
October 7, 2024 15:07 1h 1m 1s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 7, 2024 15:07 1h 1m 1s
Update dependency: deps/k_release Test #6783: Pull request #4055 opened by rv-jenkins
October 3, 2024 14:00 57m 10s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
October 3, 2024 14:00 57m 10s
4043 filter smt lemmas use only opaque use equations symmetrically Test #6782: Pull request #4054 synchronize by rv-jenkins
October 3, 2024 00:28 36m 43s 4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically
4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically
October 3, 2024 00:28 36m 43s
4043 filter smt lemmas use only opaque use equations symmetrically Test #6781: Pull request #4054 opened by jberthold
October 3, 2024 00:27 1m 15s 4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically
4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically
October 3, 2024 00:27 1m 15s
Filter SMT lemmas for predicate checks and get-model Test #6780: Pull request #4048 synchronize by PetarMax
October 1, 2024 21:03 26m 34s 4043-filter-smt-lemmas-for-predicate-checks
4043-filter-smt-lemmas-for-predicate-checks
October 1, 2024 21:03 26m 34s
Update dependency: deps/k_release Test #6779: Pull request #4052 synchronize by rv-jenkins
September 30, 2024 22:02 12m 30s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 30, 2024 22:02 12m 30s
Update dependency: deps/k_release Test #6778: Pull request #4052 synchronize by rv-jenkins
September 25, 2024 20:37 57m 56s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 25, 2024 20:37 57m 56s
Update dependency: deps/k_release Test #6777: Pull request #4052 opened by rv-jenkins
September 25, 2024 16:07 41m 37s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 25, 2024 16:07 41m 37s
Filter SMT lemmas for predicate checks and get-model Test #6776: Pull request #4048 synchronize by PetarMax
September 25, 2024 14:47 26m 55s 4043-filter-smt-lemmas-for-predicate-checks
4043-filter-smt-lemmas-for-predicate-checks
September 25, 2024 14:47 26m 55s
Fix handling of logging contextx in booster-dev Test #6775: Pull request #4051 opened by geo2a
September 25, 2024 13:19 36m 51s georgy/fix-booster-dev-logging
georgy/fix-booster-dev-logging
September 25, 2024 13:19 36m 51s
Update dependency: deps/k_release Test #6774: Pull request #4050 synchronize by rv-jenkins
September 22, 2024 01:09 1h 17m 31s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 22, 2024 01:09 1h 17m 31s
Update dependency: deps/k_release Test #6773: Pull request #4050 synchronize by rv-jenkins
September 20, 2024 20:40 1h 17m 30s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 20, 2024 20:40 1h 17m 30s
Update dependency: deps/k_release Test #6772: Pull request #4050 synchronize by rv-jenkins
September 20, 2024 01:53 41m 40s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 20, 2024 01:53 41m 40s
Update dependency: deps/k_release Test #6771: Pull request #4050 synchronize by rv-jenkins
September 19, 2024 17:44 58m 34s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 19, 2024 17:44 58m 34s
Update dependency: deps/k_release Test #6770: Pull request #4050 synchronize by rv-jenkins
September 18, 2024 19:21 1h 18m 6s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 18, 2024 19:21 1h 18m 6s
Update dependency: deps/k_release Test #6769: Pull request #4050 synchronize by rv-jenkins
September 17, 2024 18:45 58m 4s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 17, 2024 18:45 58m 4s
Update dependency: deps/k_release Test #6768: Pull request #4050 opened by rv-jenkins
September 17, 2024 16:09 1h 13m 30s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
September 17, 2024 16:09 1h 13m 30s