Skip to content

Actions: dfield/finite-zarankiewicz-closures

Actions

Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
7 workflow runs
7 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
feat: certify Z(10,23) and Z(11,23) exactly Verification #7: Commit a48f6e9 pushed by dfield
6m 16s main
main
6m 16s
feat: define publication boundary for certified results Verification #6: Commit 198a8c1 pushed by dfield
1m 42s main
main
1m 42s
Verification Verification #5: Manually run by dfield
1m 6s codex/frontier-closures-review
codex/frontier-closures-review
1m 6s
chore: prepare v1.3.1 patch release Verification #4: Commit 19e35cf pushed by dfield
49s main
main
49s
fix: make verification CI portable Verification #3: Commit ce7b0aa pushed by dfield
48s main
main
48s
feat: add uniform four-case verification coverage Verification #2: Commit 20e4ce8 pushed by dfield
1m 1s main
main
1m 1s
chore: synchronize four-result repository Verification #1: Commit 4019909 pushed by dfield
5s main
main
5s