Skip to content

Actions: hyperpolymath/Axiom.jl

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
47 workflow runs
47 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(readme): add SPDX header and standard badges Mirror to Git Forges #47: Commit 33f0047 pushed by hyperpolymath
2s main
main
2s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Mirror to Git Forges #46: Commit e84b639 pushed by hyperpolymath
1s main
main
1s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #45: Commit f2f66bc pushed by hyperpolymath
2s main
main
2s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Mirror to Git Forges #44: Commit d16a34f pushed by hyperpolymath
1s main
main
1s
Standardize workspace: Capitalize Justfile references in scripts and … Mirror to Git Forges #43: Commit 1510eb1 pushed by hyperpolymath
1s main
main
1s
ci: restore Dependabot security path + wire auto-merge Mirror to Git Forges #42: Commit 1e0531d pushed by hyperpolymath
2s main
main
2s
chore: sync local state Mirror to Git Forges #41: Commit 6e14781 pushed by hyperpolymath
1s main
main
1s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #40: Commit e344563 pushed by hyperpolymath
1s main
main
1s
chore: M5 CI/Workflow Sweep - final synchronisation Mirror to Git Forges #39: Commit 307f49c pushed by hyperpolymath
1s main
main
1s
chore: automated sync of local changes Mirror to Git Forges #38: Commit fb59f50 pushed by hyperpolymath
1s main
main
1s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Mirror to Git Forges #37: Commit c944f4d pushed by hyperpolymath
1s main
main
1s
chore: automated sync of local changes Mirror to Git Forges #36: Commit c8a8d31 pushed by hyperpolymath
2s main
main
2s
feat(crg): add crg-grade and crg-badge justfile recipes Mirror to Git Forges #35: Commit 82c36d1 pushed by hyperpolymath
1s main
main
1s
ci: deploy dogfood-gate, add CRG tests and benchmarks, fix wellknown-… Mirror to Git Forges #34: Commit bbc5261 pushed by hyperpolymath
1s main
main
1s
docs: substantive CRG C annotation (EXPLAINME.adoc) Mirror to Git Forges #33: Commit d1defdf pushed by hyperpolymath
1s main
main
1s
Add casket pages workflow Mirror to Git Forges #32: Commit 3fe757a pushed by hyperpolymath
1s main
main
1s
docs: update TEST-NEEDS.md from audit Mirror to Git Forges #31: Commit 8299a26 pushed by hyperpolymath
1s main
main
1s
fix: correct 'Provably Correct ML' claims — proofs are in progress, n… Mirror to Git Forges #30: Commit b4f404f pushed by hyperpolymath
2s main
main
2s
Remove stale SONNET-TASKS.md and add to .gitignore Mirror to Git Forges #29: Commit cd484bd pushed by hyperpolymath
1s main
main
1s
feat: add stapeln.toml container definition Mirror to Git Forges #28: Commit f561ebd pushed by hyperpolymath
1s main
main
1s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Mirror to Git Forges #27: Commit 0730dcc pushed by hyperpolymath
1s main
main
1s
feat: deploy UX Manifesto infrastructure Mirror to Git Forges #26: Commit e7642e3 pushed by hyperpolymath
1s main
main
1s
chore: add UX infrastructure (quickstart, doctor, setup) Mirror to Git Forges #25: Commit 6b691d1 pushed by hyperpolymath
1s main
main
1s
chore: add agent_instructions methodology layer Mirror to Git Forges #24: Commit b4711a5 pushed by hyperpolymath
1s main
main
1s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Mirror to Git Forges #23: Commit 5bde997 pushed by hyperpolymath
1s main
main
1s