Skip to content

Actions: runtimeverification/haskell-backend

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
169 workflow runs
169 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
fix debug integration workflow Test #7246: Commit 20dc8d3 pushed by juliankuners
Failure hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
Failure
debug integration workflow Test #7245: Commit 891c536 pushed by juliankuners
Failure hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
Failure
Hs dependency upgrade ghc 9.10.3 Test #7244: Pull request #4137 synchronize by juliankuners
1h 36m 10s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
1h 36m 10s
Hs dependency upgrade ghc 9.10.3 Test #7243: Pull request #4137 synchronize by juliankuners
51m 26s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
51m 26s
Hs dependency upgrade ghc 9.10.3 Test #7242: Pull request #4137 synchronize by juliankuners
1h 32m 7s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
1h 32m 7s
Hs dependency upgrade ghc 9.10.3 Test #7241: Pull request #4137 synchronize by juliankuners
1h 41m 15s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
1h 41m 15s
Hs dependency upgrade ghc 9.10.3 Test #7240: Pull request #4137 synchronize by juliankuners
1h 34m 55s hs-dependency-upgrade-ghc-9.10.3
hs-dependency-upgrade-ghc-9.10.3
1h 34m 55s
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 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
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