Skip to content

Actions: Arithmon/Program

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
cross-repo consistency cross-repo consistency #9: Scheduled
24s main
main
 24s
cross-repo consistency cross-repo consistency #8: Scheduled
16s main
main
 16s
cross-repo consistency cross-repo consistency #7: Scheduled
16s main
main
 16s
The cross-repo gate could never fail the job Lint #17: Commit 5385d7e pushed by gift-framework
 11s main
main
 11s
The cross-repo gate could never fail the job cross-repo consistency #6: Commit 5385d7e pushed by gift-framework
 16s main
main
 16s
Make a rename enforceable: a vocabulary ledger Lint #16: Commit faa9a00 pushed by gift-framework
 14s main
main
 14s
Make a rename enforceable: a vocabulary ledger cross-repo consistency #5: Commit faa9a00 pushed by gift-framework
 21s main
main
 21s
Bring arithmon.com under the ledger Lint #15: Commit dffe78c pushed by gift-framework
 9s main
main
 9s
Bring arithmon.com under the ledger cross-repo consistency #4: Commit dffe78c pushed by gift-framework
 18s main
main
 18s
ledger: ajoute les deux documents outreach (essai + one-pager) aux cl… Lint #14: Commit 9753726 pushed by gift-framework
 14s main
main
 14s
ledger: ajoute les deux documents outreach (essai + one-pager) aux cl… cross-repo consistency #3: Commit 9753726 pushed by gift-framework
 23s main
main
 23s
ledger: consigne la DUALITE des deviations Type I (0.73 gele pre-regi… Lint #13: Commit 5e010a7 pushed by gift-framework
 10s main
main
 10s
ledger: consigne la DUALITE des deviations Type I (0.73 gele pre-regi… cross-repo consistency #2: Commit 5e010a7 pushed by gift-framework
 24s main
main
 24s
overseer: cross-repo consistency checker + LEDGER.json (single source… Lint #12: Commit bf36b7a pushed by gift-framework
 12s main
main
 12s
overseer: cross-repo consistency checker + LEDGER.json (single source… cross-repo consistency #1: Commit bf36b7a pushed by gift-framework
 15s main
main
 15s
chore(naming): footer canonique -> K7 (formerly GIFT), identite current Lint #11: Commit 085a0a3 pushed by gift-framework
 11s main
main
 11s
readme: lien proofs -> Arithmon/K7-Lean (formerly gift-framework/core) Lint #10: Commit 525d81d pushed by gift-framework
 14s main
main
 14s
problem(selection-principle): record the 2026-07-04 verdicts; next st… Lint #9: Commit b478c0a pushed by gift-framework
 12s main
main
 12s
problem(selection-principle): replace em-dash with colon to satisfy C… Lint #8: Commit 9278266 pushed by gift-framework
 17s main
main
 17s
problem(selection-principle): record what the inverse-problem axis no… Lint #7: Commit 5bf9364 pushed by gift-framework
 11s main
main
 11s
readme: add a brutally clear "Start here"; add a serious CONTRIBUTING Lint #6: Commit a02d1f6 pushed by gift-framework
 16s main
main
 16s
chore: gitignore lint_report.json (org linter artifact) Lint #5: Commit ffbb7f1 pushed by gift-framework
 13s main
main
 13s
problem(coincidence-methodology): note the constructive rebate + form… Lint #4: Commit 1e063ce pushed by gift-framework
 10s main
main
 10s
problems: open 'a shared standard for counting coincidences' (epistem… Lint #3: Commit 6d08299 pushed by gift-framework
 11s main
main
 11s
Fix prose gate: name the experiments instead of a promotional shorthand Lint #2: Commit 67a2134 pushed by gift-framework
 12s main
main
 12s