Skip to content

Actions: runtimeverification/haskell-backend

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
157 workflow runs
157 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
LIST.listRange in legacy kore, more list hooks and list matching in booster Test #7036: Pull request #4108 synchronize by jberthold
1m 25s more-list-hooks
more-list-hooks
1m 25s
LIST.listRange in legacy kore, more list hooks and list matching in booster Test #7035: Pull request #4108 opened by jberthold
35m 31s more-list-hooks
more-list-hooks
35m 31s
Update dependency: deps/k_release Test #7034: Pull request #4107 opened by rv-jenkins
1h 17m 3s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 17m 3s
Update dependency: deps/k_release Test #7033: Pull request #4104 synchronize by jberthold
1h 9m 54s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 9m 54s
Update dependency: deps/k_release Test #7032: Pull request #4104 synchronize by rv-jenkins
24m 13s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
24m 13s
Update dependency: deps/k_release Test #7031: Pull request #4104 synchronize by rv-jenkins
1h 16m 38s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 16m 38s
Update dependency: deps/k_release Test #7030: Pull request #4104 synchronize by rv-jenkins
48m 20s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
48m 20s
Update dependency: deps/k_release Test #7029: Pull request #4104 synchronize by rv-jenkins
40m 49s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
40m 49s
Update dependency: deps/k_release Test #7028: Pull request #4104 synchronize by rv-jenkins
1h 10m 10s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 10m 10s
Update dependency: deps/k_release Test #7027: Pull request #4104 synchronize by rv-jenkins
1h 20m 6s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 20m 6s
Update dependency: deps/k_release Test #7026: Pull request #4104 synchronize by rv-jenkins
1h 10m 27s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 10m 27s
Update dependency: deps/k_release Test #7025: Pull request #4104 synchronize by rv-jenkins
59m 47s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
59m 47s
Update dependency: deps/k_release Test #7024: Pull request #4104 synchronize by rv-jenkins
38m 51s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
38m 51s
Update dependency: deps/k_release Test #7023: Pull request #4104 synchronize by rv-jenkins
58m 30s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
58m 30s
Update dependency: deps/k_release Test #7022: Pull request #4104 synchronize by rv-jenkins
56m 12s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
56m 12s
Update dependency: deps/k_release Test #7021: Pull request #4104 synchronize by rv-jenkins
42m 2s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
42m 2s
Copy instead of link haskell-backend binaries in nix derivation Test #7020: Pull request #4106 opened by juliankuners
53m 11s nix-runtime-dependencies
nix-runtime-dependencies
53m 11s
Update dependency: deps/k_release Test #7019: Pull request #4104 synchronize by rv-jenkins
51m 36s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
51m 36s
Update dependency: deps/k_release Test #7018: Pull request #4104 synchronize by rv-jenkins
37m 59s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
37m 59s
HOTFIX more comments and error handling in constraint pre-evaluation Test #7017: Pull request #4105 opened by jberthold
33m 12s HOTFIX-catch-error-calls-in-predicate-simplification
HOTFIX-catch-error-calls-in-predicate-simplification
33m 12s
Update dependency: deps/k_release Test #7016: Pull request #4104 opened by rv-jenkins
1h 24m 30s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 24m 30s
HOTFIX invalidate cache when modifying known predicates Test #7015: Pull request #4103 synchronize by jberthold
36m 39s HOTFIX-invalidate-cache-when-modifying-known-predicates
HOTFIX-invalidate-cache-when-modifying-known-predicates
36m 39s
HOTFIX invalidate cache when modifying known predicates Test #7014: Pull request #4103 synchronize by rv-jenkins
1h 9m 43s HOTFIX-invalidate-cache-when-modifying-known-predicates
HOTFIX-invalidate-cache-when-modifying-known-predicates
1h 9m 43s
HOTFIX invalidate cache when modifying known predicates Test #7013: Pull request #4103 synchronize by jberthold
1m 21s HOTFIX-invalidate-cache-when-modifying-known-predicates
HOTFIX-invalidate-cache-when-modifying-known-predicates
1m 21s
Update dependency: deps/k_release Test #7012: Pull request #4102 synchronize by rv-jenkins
57m 53s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
57m 53s