Skip to content

Actions: Verified-zkEVM/CompPoly

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
Update Lean Project Update Lean Project #250: Scheduled
2m 11s main
main
2m 11s
Update Lean Project Update Lean Project #249: Scheduled
2m 27s main
main
2m 27s
Measure the operations, not the harness: base fields, transforms, and chained bodies Check Imports #161: Pull request #338 opened by dhsorens
6s dhsorens/bench-coverage
dhsorens/bench-coverage
6s
Measure the operations, not the harness: base fields, transforms, and chained bodies PR Summary #624: Pull request #338 opened by dhsorens
2m 32s
2m 32s
Measure the operations, not the harness: base fields, transforms, and chained bodies Lean Action CI #1418: Pull request #338 opened by dhsorens
4m 40s dhsorens/bench-coverage
dhsorens/bench-coverage
4m 40s
Measure the operations, not the harness: base fields, transforms, and chained bodies Lint Style #1079: Pull request #338 opened by dhsorens
9s dhsorens/bench-coverage
dhsorens/bench-coverage
9s
Measure the operations, not the harness: base fields, transforms, and chained bodies Benchmarks #9: Pull request #338 opened by dhsorens
5m 17s dhsorens/bench-coverage
dhsorens/bench-coverage
5m 17s
Measure the operations, not the harness: base fields, transforms, and chained bodies Docs Integrity #692: Pull request #338 opened by dhsorens
10s dhsorens/bench-coverage
dhsorens/bench-coverage
10s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned co… Lean Action CI #1417: Commit 4ce69b9 pushed by dhsorens
3m 32s main
main
3m 32s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned co… Docs Integrity #691: Commit 4ce69b9 pushed by dhsorens
8s main
main
8s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned co… Lint Style #1078: Commit 4ce69b9 pushed by dhsorens
11s main
main
11s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts PR Summary #623: Pull request #337 opened by dhsorens
3m 55s
3m 55s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts Lint Style #1077: Pull request #337 opened by dhsorens
8s dhsorens/bench-sizing-and-coverage
dhsorens/bench-sizing-and-coverage
8s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts Benchmarks #8: Pull request #337 opened by dhsorens
5m 0s dhsorens/bench-sizing-and-coverage
dhsorens/bench-sizing-and-coverage
5m 0s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts Check Imports #160: Pull request #337 opened by dhsorens
6s dhsorens/bench-sizing-and-coverage
dhsorens/bench-sizing-and-coverage
6s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts Lean Action CI #1416: Pull request #337 opened by dhsorens
3m 32s dhsorens/bench-sizing-and-coverage
dhsorens/bench-sizing-and-coverage
3m 32s
Size benchmarks from a wall-clock budget instead of 228 hand-tuned counts Docs Integrity #690: Pull request #337 opened by dhsorens
10s dhsorens/bench-sizing-and-coverage
dhsorens/bench-sizing-and-coverage
10s
Update Lean Project Update Lean Project #248: Scheduled
2m 22s main
main
2m 22s
doc(bench): clarify validation timing and sink behavior Docs Integrity #689: Pull request #336 opened by alexanderlhicks
9s codex/benchmark-validation-wording
codex/benchmark-validation-wording
9s
doc(bench): clarify validation timing and sink behavior Lean Action CI #1415: Pull request #336 opened by alexanderlhicks
3m 19s codex/benchmark-validation-wording
codex/benchmark-validation-wording
3m 19s
doc(bench): clarify validation timing and sink behavior Lint Style #1076: Pull request #336 opened by alexanderlhicks
8s codex/benchmark-validation-wording
codex/benchmark-validation-wording
8s
doc(bench): clarify validation timing and sink behavior Check Imports #159: Pull request #336 opened by alexanderlhicks
8s codex/benchmark-validation-wording
codex/benchmark-validation-wording
8s
doc(bench): clarify validation timing and sink behavior Benchmarks #7: Pull request #336 opened by alexanderlhicks
4m 40s codex/benchmark-validation-wording
codex/benchmark-validation-wording
4m 40s
doc(bench): clarify validation timing and sink behavior PR Summary #622: Pull request #336 opened by alexanderlhicks
2m 33s
2m 33s
Check Imports Check Imports #158: Manually run by alexanderlhicks
10s codex/algebra-tower-endpoints
codex/algebra-tower-endpoints
10s