Skip to content

Actions: Joe975/math-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 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 #18 from Joe975/claude/latest-commit-review-tagrze Pages #23: Commit 8f05d97 pushed by Joe975
27s main
main
27s
Merge pull request #18 from Joe975/claude/latest-commit-review-tagrze CI #40: Commit 8f05d97 pushed by Joe975
15s main
main
15s
Billiards: independent skeptic engine for the 015 margin system CI #39: Pull request #18 opened by Joe975
19s claude/latest-commit-review-tagrze
claude/latest-commit-review-tagrze
19s
Merge pull request #17 from Joe975/claude/latest-commit-review-nldbrs CI #38: Commit 7cd963b pushed by Joe975
16s main
main
16s
Merge pull request #17 from Joe975/claude/latest-commit-review-nldbrs Pages #22: Commit 7cd963b pushed by Joe975
33s main
main
33s
Billiards: independent skeptic re-implementation of the coverage Diophantine checker CI #37: Pull request #17 opened by Joe975
16s claude/latest-commit-review-nldbrs
claude/latest-commit-review-nldbrs
16s
Merge pull request #16 from Joe975/claude/billiards-diophantine-lemma… CI #36: Commit 27f8dc0 pushed by Joe975
12s main
main
12s
Merge pull request #16 from Joe975/claude/billiards-diophantine-lemma… Pages #21: Commit 27f8dc0 pushed by Joe975
27s main
main
27s
Billiards: exact checker for the coverage Diophantine lemma CI #35: Pull request #16 opened by Joe975
13s claude/billiards-diophantine-lemma-03z37g
claude/billiards-diophantine-lemma-03z37g
13s
Merge pull request #15 from Joe975/claude/gemini-api-outsourcing-1tqdnm Pages #20: Commit 0bb4aff pushed by Joe975
28s main
main
28s
Merge pull request #15 from Joe975/claude/gemini-api-outsourcing-1tqdnm CI #34: Commit 0bb4aff pushed by Joe975
17s main
main
17s
Swarm: second provider family (Gemini) behind the same CLI CI #33: Pull request #15 opened by Joe975
11s claude/gemini-api-outsourcing-1tqdnm
claude/gemini-api-outsourcing-1tqdnm
11s
Merge pull request #14 from Joe975/claude/openai-api-luna-5.6-y0wbsv CI #32: Commit 8f56f3d pushed by Joe975
18s main
main
18s
Merge pull request #14 from Joe975/claude/openai-api-luna-5.6-y0wbsv Pages #19: Commit 8f56f3d pushed by Joe975
30s main
main
30s
Add swarm: bulk external workers under a director model CI #31: Pull request #14 opened by Joe975
15s claude/openai-api-luna-5.6-y0wbsv
claude/openai-api-luna-5.6-y0wbsv
15s
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