Skip to content

Actions: BitConcepts/riemann-solver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 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
chore: update results and specsmith trace CI #89: Commit 77f98fa pushed by tbitcs
12m 55s main
main
12m 55s
Fix CI + update README and repo metadata CI #88: Commit cda9d46 pushed by tbitcs
12m 43s main
main
12m 43s
Fix table margin overflows in all sections CI #87: Commit 90ddc5e pushed by tbitcs
1m 0s main
main
1m 0s
Paper hardening rounds 1-3 + Arb/FLINT [1,3] certificate CI #86: Commit 6e71b51 pushed by tbitcs
1m 1s main
main
1m 1s
chore: update project files CI #85: Commit 747ceeb pushed by tbitcs
11m 26s main
main
11m 26s
chore: update project files CI #84: Commit 0c2c769 pushed by tbitcs
12m 14s main
main
12m 14s
chore: update project files CI #83: Commit d294af1 pushed by tbitcs
12m 20s main
main
12m 20s
chore: update project files CI #82: Commit be33120 pushed by tbitcs
12m 55s main
main
12m 55s
chore: stage recompiled main.pdf and clean up tmp file CI #81: Commit b20b550 pushed by tbitcs
12m 21s main
main
12m 21s
chore: regenerate named PDF with submission-ready content CI #80: Commit 197ab34 pushed by tbitcs
13m 15s main
main
13m 15s
chore: add updated submission PDF (tmp name - viewer locks main name) CI #79: Commit 04432de pushed by tbitcs
13m 46s main
main
13m 46s
chore: update project files CI #78: Commit a0013ef pushed by tbitcs
12m 46s main
main
12m 46s
chore: update project files CI #77: Commit 95928f1 pushed by tbitcs
11m 55s main
main
11m 55s
paper: definitive source audit - de Bruijn-Ilieff theorem confirmed, … CI #76: Commit b972964 pushed by tbitcs
13m 17s main
main
13m 17s
paper: exhaustive Polya 1926 J.LMS audit; C-20 contextual assessment CI #75: Commit ceee096 pushed by tbitcs
11m 59s main
main
11m 59s
paper: add polya1926jlms + newman1976 bib, document polya1926 Acta Ma… CI #74: Commit 03caaa8 pushed by tbitcs
11m 54s main
main
11m 54s
fix: ruff lint, test assertions, Lean citation; update paper C9 citation CI #73: Commit 6d2c6bf pushed by tbitcs
13m 2s main
main
13m 2s
paper: extend source audit - C-V Thm 2.2 is also Mellin-Fourier, not … CI #72: Commit a6deb3d pushed by tbitcs
30s main
main
30s
paper: sync named PDF to revised main.pdf (533261 bytes, 14 pages) CI #71: Commit 9e77fd0 pushed by tbitcs
33s main
main
33s
chore: update project files CI #70: Commit 528db56 pushed by tbitcs
31s main
main
31s
paper: regenerate PDF (14 pages, 533903 bytes) CI #69: Commit 6305301 pushed by tbitcs
37s main
main
37s
chore: update project files CI #68: Commit fa72c75 pushed by tbitcs
27s main
main
27s
specsmith: AEE audit run 2026-06-01, leaderboard updated CI #67: Commit 59ee0dd pushed by tbitcs
12m 46s main
main
12m 46s
hardening: Lemma W fully proved (G'<0), epsilon* consistent, 12 final… CI #66: Commit 50fcc56 pushed by tbitcs
13m 26s main
main
13m 26s
hardening: final math+formatting pass — 20 audit tasks resolved CI #65: Commit 10b2a5a pushed by tbitcs
13m 16s main
main
13m 16s