Skip to content

Actions: yetanotherco/lambda_vm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
ACT4 Nightly ACT4 Nightly #163: completed by github-merge-queue Bot
3m 41s
3m 41s
Bench Vs Nightly Bench Vs Nightly #209: Scheduled
6m 53s main
main
6m 53s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress ethrex block-converter tests #364: Pull request #1014 synchronize by MauroToscano
3m 2s noepoch/whir
noepoch/whir
3m 2s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Integration Tests #5616: Pull request #1014 synchronize by MauroToscano
54m 4s noepoch/whir
noepoch/whir
54m 4s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress GPU Tests (merge queue) #1259: Pull request #1014 synchronize by MauroToscano
1s noepoch/whir
noepoch/whir
1s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Hyperfine Benchmark #1731: Pull request #1014 synchronize by MauroToscano
4m 29s noepoch/whir
noepoch/whir
4m 29s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2998: Pull request #1014 synchronize by MauroToscano
11s noepoch/whir
noepoch/whir
11s
Daily Lines of Code Report Daily Lines of Code Report #247: Scheduled
3m 11s main
main
3m 11s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Spec tests #2997: Pull request #1027 synchronize by jotabulacios
17s formal/clean-model
formal/clean-model
17s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Formal model #8: Pull request #1027 synchronize by jotabulacios
11m 38s formal/clean-model
formal/clean-model
11m 38s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… Integration Tests #5615: Pull request #1027 synchronize by jotabulacios
26m 20s formal/clean-model
formal/clean-model
26m 20s
feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo… GPU Tests (merge queue) #1258: Pull request #1027 synchronize by jotabulacios
9s formal/clean-model
formal/clean-model
9s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Formal model #7: Pull request #1030 synchronize by jotabulacios
2m 47s formal/clean-migration
formal/clean-migration
2m 47s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Integration Tests #5614: Pull request #1030 synchronize by jotabulacios
16m 6s formal/clean-migration
formal/clean-migration
16m 6s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ GPU Tests (merge queue) #1257: Pull request #1030 synchronize by jotabulacios
1s formal/clean-migration
formal/clean-migration
1s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Spec tests #2996: Pull request #1014 synchronize by MauroToscano
21s noepoch/whir
noepoch/whir
21s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Integration Tests #5613: Pull request #1014 synchronize by MauroToscano
41m 25s noepoch/whir
noepoch/whir
41m 25s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress Hyperfine Benchmark #1730: Pull request #1014 synchronize by MauroToscano
4m 17s noepoch/whir
noepoch/whir
4m 17s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress GPU Tests (merge queue) #1256: Pull request #1014 synchronize by MauroToscano
2s noepoch/whir
noepoch/whir
2s
WHIR no-epoch (prove-and-retire) prover: block 25368371 — work in progress ethrex block-converter tests #363: Pull request #1014 synchronize by MauroToscano
5m 20s noepoch/whir
noepoch/whir
5m 20s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Formal model #6: Pull request #1030 synchronize by jotabulacios
2m 45s formal/clean-migration
formal/clean-migration
2m 45s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Integration Tests #5612: Pull request #1030 synchronize by jotabulacios
20m 25s formal/clean-migration
formal/clean-migration
20m 25s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ GPU Tests (merge queue) #1255: Pull request #1030 synchronize by jotabulacios
1s formal/clean-migration
formal/clean-migration
1s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ AI Review #730: Issue comment #1030 (comment) created by claude Bot
8s
8s
Bump Clean to current main (f3abad7c) and Lean to v4.35.0 in formal/ Benchmark GPU (PR) #591: Issue comment #1030 (comment) created by claude Bot
1s
1s