Skip to content

Actions: Joe975/math-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 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
Merge pull request #13 from Joe975/claude/recent-commits-review-iez2fp Pages #18: Commit 645183d pushed by Joe975
5m 7s main
main
5m 7s
Merge pull request #13 from Joe975/claude/recent-commits-review-iez2fp CI #30: Commit 645183d pushed by Joe975
16s main
main
16s
Checkpoint: attempt 018 in flight - margin-modulated control killed at the witness (certified), window probe running CI #29: Pull request #13 opened by Joe975
12s claude/recent-commits-review-iez2fp
claude/recent-commits-review-iez2fp
12s
Merge pull request #12: FORMALIZED rung + 2026-08-04 cycle (union-clo… CI #28: Commit c2b1d44 pushed by Joe975
19s main
main
19s
Merge pull request #12: FORMALIZED rung + 2026-08-04 cycle (union-clo… Pages #17: Commit c2b1d44 pushed by Joe975
23s main
main
23s
FORMALIZED rung + the 2026-08-04 cycle, merged with main (union-closed line renumbered 016/017) CI #27: Pull request #12 synchronize by Joe975
25s claude/merge-conflict-pr-9-unus1b
claude/merge-conflict-pr-9-unus1b
25s
Merge pull request #11 from Joe975/claude/math-lab-merge-conflicts-jy… Pages #16: Commit 3fce8ed pushed by Joe975
36s main
main
36s
Merge pull request #11 from Joe975/claude/math-lab-merge-conflicts-jy… CI #26: Commit 3fce8ed pushed by Joe975
18s main
main
18s
Merge PR #10 (conductance problems) into main with ledger conflicts resolved CI #25: Pull request #11 opened by Joe975
16s claude/math-lab-merge-conflicts-jyltx1
claude/math-lab-merge-conflicts-jyltx1
16s
Merge pull request #8 from Joe975/claude/latest-commit-review-srezrc Pages #15: Commit f76afc0 pushed by Joe975
27s main
main
27s
Merge pull request #8 from Joe975/claude/latest-commit-review-srezrc CI #24: Commit f76afc0 pushed by Joe975
21s main
main
21s
Checkpoint: in-flight cycle work (maxwell skeptic review 002, union-closed probe 014) CI #23: Pull request #8 opened by Joe975
17s claude/latest-commit-review-srezrc
claude/latest-commit-review-srezrc
17s
Merge pull request #7 from Joe975/claude/electrical-magnetism-explora… CI #22: Commit 013105a pushed by Joe975
18s main
main
18s
Merge pull request #7 from Joe975/claude/electrical-magnetism-explora… Pages #14: Commit 013105a pushed by Joe975
30s main
main
30s
Plan: E&M problem onboarding round (maxwell-equilibria first) CI #21: Pull request #7 opened by Joe975
19s claude/electrical-magnetism-exploration-o4nztc
claude/electrical-magnetism-exploration-o4nztc
19s
Merge pull request #6 from Joe975/claude/status-queue-11-12-3wfj0j CI #20: Commit 7aa8e14 pushed by Joe975
13s main
main
13s
Merge pull request #6 from Joe975/claude/status-queue-11-12-3wfj0j Pages #13: Commit 7aa8e14 pushed by Joe975
31s main
main
31s
billiards-triangles 005: death law completed - parametric necessity for all (a,b), death = gamma_d exactly for 20 members CI #19: Pull request #6 opened by Joe975
11s claude/status-queue-11-12-3wfj0j
claude/status-queue-11-12-3wfj0j
11s
Merge pull request #5 from Joe975/claude/latest-commit-review-7z7tvo Pages #12: Commit 7fee654 pushed by Joe975
32s main
main
32s
Merge pull request #5 from Joe975/claude/latest-commit-review-7z7tvo CI #18: Commit 7fee654 pushed by Joe975
13s main
main
13s
2026-07-31 cycle: union-closed gap (a′) refuted float-free; billiards death law proven; two-track plan queued CI #17: Pull request #5 opened by Joe975
15s claude/latest-commit-review-7z7tvo
claude/latest-commit-review-7z7tvo
15s
Merge pull request #4 from Joe975/claude/breakthrough-work-uchw62 Pages #11: Commit 39fd57a pushed by Joe975
27s main
main
27s
Merge pull request #4 from Joe975/claude/breakthrough-work-uchw62 CI #16: Commit 39fd57a pushed by Joe975
12s main
main
12s
union-closed 005: refute the pointwise Plackett odds-ratio control (gap a) CI #15: Pull request #4 opened by Joe975
17s claude/breakthrough-work-uchw62
claude/breakthrough-work-uchw62
17s
Merge pull request #3 from Joe975/claude/physics-problems-phase-0-1-u… Pages #10: Commit ac7a822 pushed by Joe975
25s main
main
25s