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
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
pages build and deployment pages-build-deployment #812: by gift-framework
1m 4s main
main
1m 4s
Documentation Linter Documentation Linter #199: Manually run by gift-framework
5m 4s main
main
5m 4s
Docs linter: exclude the frozen openwave-candidate dossier; remove tw… Deploy to GitHub Pages #294: Commit ad969ff pushed by gift-framework
36s main
main
36s
pages build and deployment pages-build-deployment #811: by gift-framework
47s main
main
47s
Propagate the v3.5 erratum to live surfaces; axioms 15 -> 14 at K7-Le… Deploy to GitHub Pages #293: Commit bd51602 pushed by gift-framework
32s main
main
32s
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
pages build and deployment pages-build-deployment #810: by gift-framework
48s main
main
48s
Cross-Repo Consistency Cross-Repo Consistency #99: Scheduled
15s main
main
15s
Merge pull request #287 from Arithmon/codex/k7-geometry-freeze-rho17 Deploy to GitHub Pages #292: Commit ca7fd24 pushed by gift-framework
29s main
main
29s
pages build and deployment pages-build-deployment #809: by gift-framework
42s main
main
42s
Merge pull request #286 from Arithmon/codex/k7-geometry-freeze-rho17 Deploy to GitHub Pages #291: Commit 90b84e3 pushed by gift-framework
30s main
main
30s
pages build and deployment pages-build-deployment #808: by gift-framework
53s main
main
53s
Merge pull request #285 from Arithmon/agent/k7-rho17-v4-reset-review-… Deploy to GitHub Pages #290: Commit cc03b63 pushed by gift-framework
28s main
main
28s
pages build and deployment pages-build-deployment #807: by gift-framework
47s main
main
47s
Cross-Repo Consistency Cross-Repo Consistency #98: Scheduled
14s main
main
14s