Skip to content

Actions: runtimeverification/haskell-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow runs
293 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
Hs dependency upgrade ghc 9.10.3 Test #7239: Pull request #4137 synchronize by juliankuners
2h 5m 44s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
2h 5m 44s
Hs dependency upgrade ghc 9.10.3 Test #7238: Pull request #4137 synchronize by juliankuners
15m 34s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
15m 34s
Re-add cachix/cachix-action to test.yml workflow Test #7237: Pull request #4160 opened by juliankuners
1h 33m 44s re-add-cachix
re-add-cachix
1h 33m 44s
ci(test): remove PAT and Cachix token dependencies from the Test work… Bump version and make release job #163: Commit ad54c7a pushed by juliankuners
12m 34s master
master
12m 34s
ci(test): remove PAT and Cachix token dependencies from the Test workflow Test #7236: Pull request #4159 synchronize by juliankuners
1h 33m 59s worktree-avoid-pat
worktree-avoid-pat
1h 33m 59s
Hs dependency upgrade ghc 9.10.3 Test #7235: Pull request #4137 synchronize by juliankuners
9s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
9s
ci(test): remove PAT and Cachix token dependencies from the Test workflow Test #7234: Pull request #4159 synchronize by Stevengre
1h 35m 30s worktree-avoid-pat
worktree-avoid-pat
1h 35m 30s
ci(test): remove PAT and Cachix token dependencies from the Test workflow Test #7233: Pull request #4159 opened by Stevengre
30s worktree-avoid-pat
worktree-avoid-pat
30s
Add builtin data structure benchmark framework for booster Test #7232: Pull request #4139 synchronize by Stevengre
8s benchmark-framework
benchmark-framework
8s
Add builtin data structure benchmark framework for booster Test #7231: Pull request #4139 synchronize by Stevengre
7s benchmark-framework
benchmark-framework
7s
Add builtin data structure benchmark framework for booster Test #7230: Pull request #4139 synchronize by Stevengre
7s benchmark-framework
benchmark-framework
7s
Add builtin data structure benchmark framework for booster Test #7229: Pull request #4139 synchronize by Stevengre
7s benchmark-framework
benchmark-framework
7s
Update dependency: deps/k_release Test #7228: Pull request #4143 synchronize by deosa-arch
24m 40s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
24m 40s
Ceil simplifier Test #7227: Pull request #4157 opened by ehildenb
27m 54s ceil-simplifier
ceil-simplifier
27m 54s
Set Version: 0.1.155 Release #996: Commit 38afc81 pushed by deosa-arch
18m 22s release
release
18m 22s
Booster implies: discharge leftover consequent obligations under the … Bump version and make release job #162: Commit 163997f pushed by ehildenb
13m 5s master
master
13m 5s
Booster implies: discharge leftover consequent obligations under the antecedent via SMT Test #7226: Pull request #4156 synchronize by ehildenb
34m 4s implies-reasoning
implies-reasoning
34m 4s
Booster implies: discharge leftover consequent obligations under the antecedent via SMT Test #7225: Pull request #4156 synchronize by ehildenb
39m 27s implies-reasoning
implies-reasoning
39m 27s
Booster implies: discharge leftover consequent obligations under the antecedent via SMT Test #7224: Pull request #4156 synchronize by ehildenb
1h 6m 30s implies-reasoning
implies-reasoning
1h 6m 30s
Update dependency: deps/k_release Test #7223: Pull request #4143 synchronize by deosa-arch
59m 54s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
59m 54s
Update dependency: deps/k_release Test #7222: Pull request #4143 synchronize by deosa-arch
1h 20m 2s _update-deps/runtimeverification/k
_update-deps/runtimeverification/k
1h 20m 2s
Booster implies: discharge leftover consequent obligations under the antecedent via SMT Test #7221: Pull request #4156 opened by ehildenb
59m 38s implies-reasoning
implies-reasoning
59m 38s
Set Version: 0.1.154 Release #995: Commit 2107c73 pushed by deosa-arch
15m 43s release
release
15m 43s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy mat… Bump version and make release job #161: Commit 6f17f7e pushed by automergerpr-permission-manager Bot
13m 0s master
master
13m 0s
Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes Test #7220: Pull request #4152 synchronize by ehildenb
38m 20s match-indeterminate-bug
match-indeterminate-bug
38m 20s