Skip to content

Actions: InauguralPhysicist/Stuff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 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
Replace nearest-root branch continuation with order transport CI #81: Commit 73f1c0f pushed by InauguralPhysicist
19m 36s claude/branch-order-continuation
claude/branch-order-continuation
19m 36s
Merge pull request #21 from InauguralPhysicist/claude/family-screen CI #80: Commit 3eaa7da pushed by InauguralPhysicist
2m 56s main
main
2m 56s
Moduli screen: G1-uniform at height ≤ 4, two G2 classes, candidate completeness pairs CI #79: Pull request #21 synchronize by InauguralPhysicist
3m 13s claude/family-screen
claude/family-screen
3m 13s
Fix latent precision bug: _mp_kit built constants at ambient precision CI #78: Commit a03fcfa pushed by InauguralPhysicist
2m 49s claude/family-screen
claude/family-screen
2m 49s
Moduli screen: G1-uniform at height ≤ 4, two G2 classes, candidate completeness pairs CI #77: Pull request #21 opened by InauguralPhysicist
2m 51s claude/family-screen
claude/family-screen
2m 51s
Moduli screen: two G2 classes at height <= 4; candidate pairs found CI #76: Commit d203c0c pushed by InauguralPhysicist
2m 52s claude/family-screen
claude/family-screen
2m 52s
Merge pull request #20 from InauguralPhysicist/claude/gluing-pipeline CI #75: Commit 7044c30 pushed by InauguralPhysicist
2m 49s main
main
2m 49s
Wall-gluing census: gates green, G1 ties, G2 separates the pair (Outcome B) CI #74: Pull request #20 opened by InauguralPhysicist
4m 39s claude/gluing-pipeline
claude/gluing-pipeline
4m 39s
Wall-gluing census: gates green, G1 ties, G2 SEPARATES the pair CI #73: Commit 978c950 pushed by InauguralPhysicist
4m 34s claude/gluing-pipeline
claude/gluing-pipeline
4m 34s
Merge pull request #18 from InauguralPhysicist/claude/gluing-preregis… CI #72: Commit 29ddf02 pushed by InauguralPhysicist
2m 49s main
main
2m 49s
Phase 3 pre-registration: wall-gluing invariant (adversarially frozen definition + structural lemmas L1-L7) CI #71: Pull request #18 opened by InauguralPhysicist
4m 8s claude/gluing-preregistration
claude/gluing-preregistration
4m 8s
Phase 3 pre-registration: the wall-gluing invariant, adversarially fr… CI #70: Commit 8257937 pushed by InauguralPhysicist
2m 49s claude/gluing-preregistration
claude/gluing-preregistration
2m 49s
Merge pull request #17 from InauguralPhysicist/claude/family-equiv CI #69: Commit 893fa95 pushed by InauguralPhysicist
3m 6s main
main
3m 6s
Affine-inequivalence certificate for the family-hunt pair CI #68: Pull request #17 opened by InauguralPhysicist
2m 58s claude/family-equiv
claude/family-equiv
2m 58s
Commit the affine-inequivalence certificate for the family-hunt pair CI #67: Commit 22e41e6 pushed by InauguralPhysicist
3m 9s claude/family-equiv
claude/family-equiv
3m 9s
Merge pull request #16 from InauguralPhysicist/claude/family-review-f… CI #66: Commit f0278dc pushed by InauguralPhysicist
3m 7s main
main
3m 7s
Family hunt: adversarial-review fixes (wall misdiagnosis, n2 driver, reverse-lift gate) CI #65: Pull request #16 opened by InauguralPhysicist
2m 45s claude/family-review-fixes
claude/family-review-fixes
2m 45s
README: family-hunt section and per-claim status table; CI smoke upgrade CI #64: Commit faac36c pushed by InauguralPhysicist
3m 9s claude/family-review-fixes
claude/family-review-fixes
3m 9s
Merge pull request #15 from InauguralPhysicist/claude/family-phase1 CI #63: Commit 57c2421 pushed by InauguralPhysicist
4m 34s main
main
4m 34s
Family hunt, phases 1-2: exact fiber determination; invariant still doesn't separate CI #62: Pull request #15 opened by InauguralPhysicist
2m 57s claude/family-phase1
claude/family-phase1
2m 57s
Family hunt, phases 1-2: exact fiber determination; the invariant ref… CI #61: Commit b824722 pushed by InauguralPhysicist
45s claude/family-phase1
claude/family-phase1
45s
Merge pull request #13 from InauguralPhysicist/claude/family-hunt CI #60: Commit 62d0207 pushed by InauguralPhysicist
3m 56s main
main
3m 56s
Family hunt, phase 0: same-degree members and first measurements CI #59: Pull request #13 opened by InauguralPhysicist
4m 28s claude/family-hunt
claude/family-hunt
4m 28s
Family hunt, phase 0: two distinct same-degree Gallagher members, fir… CI #58: Commit 7f786ad pushed by InauguralPhysicist
3m 11s claude/family-hunt
claude/family-hunt
3m 11s
Merge pull request #12 from InauguralPhysicist/claude/report-rev10 CI #57: Commit 3db6642 pushed by InauguralPhysicist
3m 10s main
main
3m 10s