Skip to content

Actions: Arithmon/Program

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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 #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
Program v0.1: charter (Lakatos structure), 7 open problems, confronta… Lint #1: Commit 3890aaa pushed by gift-framework
11s main
main
11s