Skip to content

Actions: terrorproforma/maths

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
detector-chains: certify the venting trace, widen the conjunctive evi… Verify result packages #12: Commit e3a86da pushed by terrorproforma
1m 39s main
main
1m 39s
Regenerate paper 2 PDF from clean; record detector-chains provenance Verify result packages #11: Commit de068c2 pushed by terrorproforma
1m 57s main
main
1m 57s
detector-chains: name the lemma's exceptional branch, fix error direc… Verify result packages #10: Commit c5ceb24 pushed by terrorproforma
2m 3s main
main
2m 3s
detector-chains: fix Lemma 4, make the composition claim reproducible Verify result packages #9: Commit 5ca22bb pushed by terrorproforma
1m 59s main
main
1m 59s
detector-chains: referee round 1 fixes Verify result packages #8: Commit 6e317c2 pushed by terrorproforma
2m 45s main
main
2m 45s
Final review nits: cite Tijdeman 1973, dual conjecture numbering in h… Verify result packages #7: Commit 96952b3 pushed by terrorproforma
1m 30s main
main
1m 30s
Referee fixes before arXiv upload Verify result packages #6: Commit 495032a pushed by terrorproforma
1m 30s main
main
1m 30s
Improved constant from the same three columns: 4 - 2*sqrt(2) Verify result packages #5: Commit a9debde pushed by terrorproforma
2m 55s main
main
2m 55s
Single source of truth for the chairman manuscript Verify result packages #4: Commit 1675c2a pushed by terrorproforma
1m 32s main
main
1m 32s
Complete bibliography (5 refs incl. Tijdeman, Morell-Skutella); keep … Verify result packages #3: Commit 4d97a70 pushed by terrorproforma
1m 31s main
main
1m 31s
Complete bibliography (5 refs incl. Tijdeman, Morell-Skutella); keep … Verify subtree-shuffling counterexample #9: Commit 4d97a70 pushed by terrorproforma
1m 53s main
main
1m 53s
Verify and complete references; cite Tijdeman for the classical problem Verify result packages #2: Commit 8f4be97 pushed by terrorproforma
2m 31s main
main
2m 31s
Add CI for the per-result packages; parameter cap for family search Verify result packages #1: Commit 1e5602f pushed by terrorproforma
1m 41s main
main
1m 41s
Correct arXiv category advice: cs.DS primary (matching Liu-Reis), mat… Verify subtree-shuffling counterexample #8: Commit 3da254a pushed by terrorproforma
1m 39s main
main
1m 39s
Add compiled research PDFs [skip generated PDFs] Verify rounding counterexample papers #12: Commit 148337b pushed by terrorproforma
1s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
1s
Restructure into per-result folders; set author Angus Muffatti; keep … Verify subtree-shuffling counterexample #7: Commit 7e9ebd1 pushed by terrorproforma
2m 45s main
main
2m 45s
Reframe provenance as attribution; add sources, ages, and untrack tra… Verify subtree-shuffling counterexample #6: Commit 1bf4381 pushed by terrorproforma
1m 47s main
main
1m 47s
Add provenance audit, conjecture-targets catalogue, and provenance bo… Verify subtree-shuffling counterexample #5: Commit d8b7a90 pushed by terrorproforma
2m 31s main
main
2m 31s
Add exact counterexamples, manuscripts, and verification package Verify rounding counterexample papers #10: Pull request #1 synchronize by terrorproforma
1m 40s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
1m 40s
Add verbatim visible conversation transcript Verify rounding counterexample papers #9: Commit 49b1616 pushed by terrorproforma
2m 17s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
2m 17s
Add exact counterexamples, manuscripts, and verification package Verify rounding counterexample papers #7: Pull request #1 synchronize by terrorproforma
1m 40s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
1m 40s
Add structured research search log Verify rounding counterexample papers #6: Commit a0bb204 pushed by terrorproforma
1m 32s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
1m 32s
Build subtree-shuffling manuscript PDF Verify subtree-shuffling counterexample #4: Commit 9a198f4 pushed by terrorproforma
1m 57s main
main
1m 57s
Add exact counterexamples, manuscripts, and verification package Verify rounding counterexample papers #4: Pull request #1 synchronize by terrorproforma
2m 45s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
2m 45s
Publish compiled PDFs on the review branch Verify rounding counterexample papers #3: Commit 96b5ced pushed by terrorproforma
1m 30s agent/rounding-counterexample-papers
agent/rounding-counterexample-papers
1m 30s