Skip to content

Actions: Arithmon/K7

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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 #103: Scheduled
14s main
main
14s
docs: replace two em dashes introduced today (documentation linter) Deploy to GitHub Pages #302: Commit 210480b pushed by gift-framework
32s main
main
32s
docs: replace two em dashes introduced today (documentation linter) Documentation Linter #203: Commit 210480b pushed by gift-framework
8m 6s main
main
8m 6s
pages build and deployment pages-build-deployment #819: by gift-framework
44s main
main
44s
Corrections from an outside review (IPI thread, 2026-10-02) Deploy to GitHub Pages #301: Commit 2158c45 pushed by gift-framework
31s main
main
31s
Corrections from an outside review (IPI thread, 2026-10-02) Documentation Linter #202: Commit 2158c45 pushed by gift-framework
19s main
main
19s
pages build and deployment pages-build-deployment #818: by gift-framework
54s main
main
54s
Erratum v3.5, section 4: Paper [E] was cited by its dataset DOI (2120… Deploy to GitHub Pages #300: Commit de250c5 pushed by gift-framework
26s main
main
26s
pages build and deployment pages-build-deployment #817: by gift-framework
52s main
main
52s
Paper E: cite the preprint (concept 10.5281/zenodo.21215956), not its… Deploy to GitHub Pages #299: Commit 366f69e pushed by gift-framework
52s main
main
52s
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
Paper E: cite the preprint (concept 10.5281/zenodo.21215956), not its… Cross-Repo Consistency #102: Commit 366f69e pushed by gift-framework
14s main
main
14s
Paper E: cite the preprint (concept 10.5281/zenodo.21215956), not its… Observable Calculator #133: Commit 366f69e pushed by gift-framework
14s main
main
14s
pages build and deployment pages-build-deployment #816: by gift-framework
1m 5s main
main
1m 5s
Cross-Repo Consistency Cross-Repo Consistency #101: Scheduled
13s main
main
13s
wiki : « Le jumeau étoilé » (The Star Twin, 2026-09-25), traduction F… Deploy to GitHub Pages #298: Commit 2f6d506 pushed by gift-framework
30s main
main
30s
pages build and deployment pages-build-deployment #815: by gift-framework
44s main
main
44s
Normalize line endings to LF Deploy to GitHub Pages #297: Commit df23a37 pushed by gift-framework
45s main
main
45s
Normalize line endings to LF Cross-Repo Consistency #100: Commit df23a37 pushed by gift-framework
13s main
main
13s
Normalize line endings to LF Documentation Linter #200: Commit df23a37 pushed by gift-framework
4m 39s main
main
4m 39s
Normalize line endings to LF Observable Calculator #132: Commit df23a37 pushed by gift-framework
20s main
main
20s
pages build and deployment pages-build-deployment #814: by gift-framework
7m 49s main
main
7m 49s
Outreach: point the repository lines to Arithmon/K7-Lean (formerly gi… Deploy to GitHub Pages #296: Commit dd491a8 pushed by gift-framework
33s main
main
33s
pages build and deployment pages-build-deployment #813: by gift-framework
59s main
main
59s
Site map: describe the 14 axioms like every other surface Deploy to GitHub Pages #295: Commit b67a5b5 pushed by gift-framework
55s main
main
55s