Skip to content

Actions: runtimeverification/haskell-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Set Version: 0.1.153 Release #994: Commit 53e9b10 pushed by deosa-arch
18m 22s release
release
18m 22s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7217: Pull request #4152 synchronize by ehildenb
32m 26s match-indeterminate-bug
match-indeterminate-bug
32m 26s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7216: Pull request #4152 synchronize by ehildenb
4m 28s match-indeterminate-bug
match-indeterminate-bug
4m 28s
booster/unit-tests/Pattern/MatchDispatch: exhaustive dispatch-class g… Bump version and make release job #160: Commit eb2da06 pushed by ehildenb
13m 8s master
master
13m 8s
booster/unit-tests/Pattern/MatchDispatch: exhaustive dispatch-class grid test for matchTerms Test #7215: Pull request #4155 opened by ehildenb
4h 8m 29s match1-dispatch-grid-test
match1-dispatch-grid-test
4h 8m 29s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7214: Pull request #4152 synchronize by ehildenb
31m 2s match-indeterminate-bug
match-indeterminate-bug
31m 2s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7213: Pull request #4152 synchronize by ehildenb
28m 41s match-indeterminate-bug
match-indeterminate-bug
28m 41s
Update dependency: deps/k_release Test #7212: Pull request #4143 synchronize by deosa-arch
1h 16m 22s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 16m 22s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7211: Pull request #4152 synchronize by ehildenb
30m 3s match-indeterminate-bug
match-indeterminate-bug
30m 3s
Set Version: 0.1.152 Release #993: Commit d4dc50c pushed by deosa-arch
18m 54s release
release
18m 54s
Booster: tunable in-place equation evaluation at rewritten subterms (… Bump version and make release job #159: Commit 5679e50 pushed by ehildenb
13m 25s master
master
13m 25s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7210: Pull request #4153 synchronize by ehildenb
28m 59s equation-local-fixpoint
equation-local-fixpoint
28m 59s
Set Version: 0.1.151 Release #992: Commit 43e0664 pushed by deosa-arch
15m 40s release
release
15m 40s
Remove warning about deprecated Node (#4154) Bump version and make release job #158: Commit 4c231b3 pushed by automergerpr-permission-manager Bot
12m 27s master
master
12m 27s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7209: Pull request #4153 synchronize by ehildenb
27m 1s equation-local-fixpoint
equation-local-fixpoint
27m 1s
Remove warning about deprecated Node Test #7208: Pull request #4154 opened by ehildenb
26m 36s node-ci-fix
node-ci-fix
26m 36s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7207: Pull request #4153 synchronize by ehildenb
26m 6s equation-local-fixpoint
equation-local-fixpoint
26m 6s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7206: Pull request #4153 synchronize by ehildenb
26m 59s equation-local-fixpoint
equation-local-fixpoint
26m 59s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7205: Pull request #4153 synchronize by ehildenb
24m 39s equation-local-fixpoint
equation-local-fixpoint
24m 39s
Booster: tunable in-place equation evaluation at rewritten subterms (--equation-max-local-steps) Test #7204: Pull request #4153 opened by ehildenb
28m 11s equation-local-fixpoint
equation-local-fixpoint
28m 11s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7203: Pull request #4152 synchronize by ehildenb
10m 28s match-indeterminate-bug
match-indeterminate-bug
10m 28s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7202: Pull request #4152 opened by ehildenb
23m 33s match-indeterminate-bug
match-indeterminate-bug
23m 33s
Update dependency: deps/k_release Test #7201: Pull request #4143 synchronize by deosa-arch
1h 21m 12s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 21m 12s
Update dependency: deps/k_release Test #7200: Pull request #4143 synchronize by deosa-arch
1h 1m 28s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 1m 28s
Set Version: 0.1.150 Release #991: Commit 515eccf pushed by deosa-arch
20m 25s release
release
20m 25s