Skip to content

Actions: lieoric/water-sort-counterexample

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 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
Shard the exact h7 trap proof CI #101: Pull request #10 synchronize by lieoric
1m 34s codex/c4-h7-five-shards
codex/c4-h7-five-shards
1m 34s
Document certified h7 result CI #100: Commit 73b862f pushed by lieoric
1m 56s codex/c4-h7-five-shards
codex/c4-h7-five-shards
1m 56s
Audit global bypass reductions for c4 h7 CI #99: Pull request #11 synchronize by lieoric
2m 19s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 19s
Check the critical-pair, anchor-pair, and rainbow-lift reductions Audit c4 h7 global bypass lemmas #6: Commit 64209db pushed by lieoric
52s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
52s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #6: Commit 64209db pushed by lieoric
47s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
47s
Reduce the four-source E2 families CI #98: Commit 64209db pushed by lieoric
2m 50s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 50s
Exact c4 k2 h7 past restoration and independent initial-state audit Audit c4 h7 three-source zero-debt pasts #3: Commit 64209db pushed by lieoric
48s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
48s
Audit global bypass reductions for c4 h7 CI #97: Pull request #11 synchronize by lieoric
2m 24s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 24s
Check the critical-pair, anchor-pair, and rainbow-lift reductions Audit c4 h7 global bypass lemmas #5: Commit c22a92e pushed by lieoric
18s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
18s
Exact c4 k2 h7 past restoration and independent initial-state audit Audit c4 h7 three-source zero-debt pasts #2: Commit c22a92e pushed by lieoric
6m 53s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
6m 53s
Prove the three-source residual bypass CI #96: Commit c22a92e pushed by lieoric
2m 40s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 40s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #5: Commit c22a92e pushed by lieoric
16s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
16s
Audit global bypass reductions for c4 h7 CI #95: Pull request #11 synchronize by lieoric
2m 47s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 47s
Exact c4 k2 h7 past restoration and independent initial-state audit Audit c4 h7 three-source zero-debt pasts #1: Commit 1eba4f6 pushed by lieoric
5m 18s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
5m 18s
Check the critical-pair, anchor-pair, and rainbow-lift reductions Audit c4 h7 global bypass lemmas #4: Commit 1eba4f6 pushed by lieoric
32s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
32s
Audit three-source zero-debt restorations CI #94: Commit 1eba4f6 pushed by lieoric
2m 25s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 25s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #4: Commit 1eba4f6 pushed by lieoric
21s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
21s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #3: Manually run by lieoric
3m 51s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
3m 51s
Audit global bypass reductions for c4 h7 CI #93: Pull request #11 synchronize by lieoric
2m 27s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 27s
Check the critical-pair, anchor-pair, and rainbow-lift reductions Audit c4 h7 global bypass lemmas #3: Commit e2104c8 pushed by lieoric
44s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
44s
Audit anchor pair switch saturation CI #92: Commit e2104c8 pushed by lieoric
2m 28s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 28s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #2: Commit e2104c8 pushed by lieoric
16s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
16s
Audit global bypass reductions for c4 h7 CI #91: Pull request #11 synchronize by lieoric
2m 26s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
2m 26s
Exact c4 k2 h7 three-legal-source fixed-future checkpoint audit Audit c4 h7 three-source D2 checkpoints #1: Commit 0c3ecf2 pushed by lieoric
1m 41s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
1m 41s
Check the critical-pair, anchor-pair, and rainbow-lift reductions Audit c4 h7 global bypass lemmas #2: Commit 0c3ecf2 pushed by lieoric
52s codex/c4-h7-global-bypass
codex/c4-h7-global-bypass
52s