Skip to content

Actions: Arithmon/K7

Actions

Documentation Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-linter.yml
202 workflow runs
202 workflow runs

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
docs: replace two em dashes introduced today (documentation linter) Documentation Linter #203: Commit 210480b pushed by gift-framework
8m 6s main
main
8m 6s
Corrections from an outside review (IPI thread, 2026-10-02) Documentation Linter #202: Commit 2158c45 pushed by gift-framework
19s main
main
19s
Paper E: cite the preprint (concept 10.5281/zenodo.21215956), not its… Documentation Linter #201: Commit 366f69e pushed by gift-framework
3m 50s main
main
3m 50s
Normalize line endings to LF Documentation Linter #200: Commit df23a37 pushed by gift-framework
4m 39s main
main
4m 39s
Documentation Linter Documentation Linter #199: Manually run by gift-framework
5m 4s main
main
5m 4s
Propagate the v3.5 erratum to live surfaces; axioms 15 -> 14 at K7-Le… Documentation Linter #198: Commit bd51602 pushed by gift-framework
22s main
main
22s
Record the theta_23 tension where the prediction is presented Documentation Linter #197: Commit 480f443 pushed by gift-framework
3m 14s main
main
3m 14s
docs(v3.5): propage les chiffres du certificat sur toutes les surface… Documentation Linter #196: Commit 551f45c pushed by gift-framework
2m 15s main
main
2m 15s
blog: publie les episodes 7-10 (FR wiki + index FR/EN) Documentation Linter #195: Commit 0235a67 pushed by gift-framework
21s main
main
21s
docs(v3.5): aligner la surface du site sur v3.5 -- derive laissee par… Documentation Linter #194: Commit 697724b pushed by gift-framework
2m 49s main
main
2m 49s
vague C: terminologie -- GIFT -> K7 sur la surface de presentation et… Documentation Linter #193: Commit 030c079 pushed by gift-framework
3m 3s main
main
3m 3s
release(v3.5): committe les papers v3.5 + archive v3.4 en legacy (vag… Documentation Linter #192: Commit 3b6d146 pushed by gift-framework
3m 13s main
main
3m 13s
chore(legacy): vague A nettoyage -- archivage quarantaine + suppressi… Documentation Linter #191: Commit 0afae90 pushed by gift-framework
2m 51s main
main
2m 51s
docs: liens core -> Arithmon/K7-Lean (vague 2) -- nav, docs, wiki, CI… Documentation Linter #190: Commit 6e1e9db pushed by gift-framework
21s main
main
21s
docs: pointer sur Arithmon/K7 (site Pages + URLs de repo) -- core intact Documentation Linter #189: Commit 2e550c3 pushed by gift-framework
21s main
main
21s
docs: README de transition + CITATION.cff (concept DOI corrige) Documentation Linter #188: Commit 5f7a493 pushed by gift-framework
24s main
main
24s
feat(stage-E): human-citable form + paper-facing table checker — 185/… Documentation Linter #187: Commit d07867a pushed by gift-framework
10m 23s main
main
10m 23s
feat(stage-E): human-citable form + paper-facing table checker — 185/… Documentation Linter #186: Commit d07867a pushed by gift-framework
22s codex/gift-work
codex/gift-work
22s
feat(stage-E): outward-rounded Level Q coefficient package — checkers… Documentation Linter #185: Commit 2d68058 pushed by gift-framework
5m 18s main
main
5m 18s
feat(stage-E): outward-rounded Level Q coefficient package — checkers… Documentation Linter #184: Commit 2d68058 pushed by gift-framework
5m 22s codex/gift-work
codex/gift-work
5m 22s
feat(stage-D): reconciliation with private post-07-05 — datum_D0 repi… Documentation Linter #183: Commit cd4e619 pushed by gift-framework
26s main
main
26s
feat(stage-D): reconciliation with private post-07-05 — datum_D0 repi… Documentation Linter #182: Commit cd4e619 pushed by gift-framework
24s codex/gift-work
codex/gift-work
24s
Add analytic audit and phase 4 certificates Documentation Linter #181: Commit a6958b5 pushed by gift-framework
16s codex/gift-work
codex/gift-work
16s
docs: bump core version references v3.4.26 -> v3.4.27 Documentation Linter #180: Commit bafa7ce pushed by gift-framework
22s main
main
22s
docs: Type-I mean deviation 0.92% -> 0.99% (exp-source reconciliation) Documentation Linter #179: Commit 727357d pushed by gift-framework
25s main
main
25s