Skip to content

Actions: hyperpolymath/Axiom.jl

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
100 workflow runs
100 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
fix(ci): repair workflow-linter.yml — GitHub cannot parse it, so it h… BoJ Server Build Trigger #100: Commit d6b7970 pushed by hyperpolymath
2m 26s main
main
2m 26s
fix(ci): re-point validate-action references at the ecosystem repos (… BoJ Server Build Trigger #99: Commit fac3383 pushed by hyperpolymath
18m 15s main
main
18m 15s
Sync local commits to main (#69) BoJ Server Build Trigger #98: Commit 240a5d7 pushed by hyperpolymath
1h 6m 37s main
main
1h 6m 37s
docs+feat: honest wiki claims + Dense pair/keyword constructor so doc… BoJ Server Build Trigger #97: Commit 6414b09 pushed by hyperpolymath
56m 36s main
main
56m 36s
fix(proof-bundle): non-vacuous fixtures so reconcile reports complete… BoJ Server Build Trigger #96: Commit 1ed7e24 pushed by hyperpolymath
2h 24m 28s main
main
2h 24m 28s
feat(tensor): wire tensor arithmetic; fix stale Rust→Zig backend wiki… BoJ Server Build Trigger #95: Commit 815e66b pushed by hyperpolymath
3h 22m 27s main
main
3h 22m 27s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #94: Commit 94cf0d1 pushed by hyperpolymath
3h 16m 16s main
main
3h 16m 16s
security: re-pin secret scanner onto the real gitleaks gate (#64) BoJ Server Build Trigger #93: Commit f96810d pushed by hyperpolymath
1m 33s main
main
1m 33s
refactor(interop): remove Python from_pytorch bridge, make it pure Ju… BoJ Server Build Trigger #92: Commit e54fa44 pushed by hyperpolymath
2m 5s main
main
2m 5s
feat(dsl): implement compile-time shape verification in @axiom (#62) BoJ Server Build Trigger #91: Commit 0d263c9 pushed by hyperpolymath
8s main
main
8s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #90: Commit 59ce4fa pushed by hyperpolymath
31m 28s main
main
31m 28s
fix(ci): clear OSSF Scorecard startup_failure (#60) BoJ Server Build Trigger #89: Commit 5009f3f pushed by hyperpolymath
1m 27s main
main
1m 27s
docs: adopt proven-tests taxonomy as Axiom's testing convention (G19)… BoJ Server Build Trigger #88: Commit bc3f423 pushed by hyperpolymath
10s main
main
10s
docs: convert README.md → README.adoc (estate format; fixes dangling … BoJ Server Build Trigger #87: Commit 198fcba pushed by hyperpolymath
9s main
main
9s
chore(licence+hygiene): SPDX headers on headerless estate .idr/.zig (… BoJ Server Build Trigger #86: Commit d22806a pushed by hyperpolymath
8s main
main
8s
docs: honesty sweep — correct overclaimed dependency/feature/status d… BoJ Server Build Trigger #85: Commit f9fee8c pushed by hyperpolymath
8s main
main
8s
feat(integrations): wire HuggingFace import (G06) — offline core test… BoJ Server Build Trigger #84: Commit ad15f4c pushed by hyperpolymath
9s main
main
9s
fix(ci): reword flagship-rubric to not trip the estate V-lang grep (#54) BoJ Server Build Trigger #83: Commit 4be2713 pushed by hyperpolymath
11s main
main
11s
docs: design-diary entry 0007 + flagship rubric (measuring-stick) (#53) BoJ Server Build Trigger #82: Commit 91f7dc7 pushed by hyperpolymath
8s main
main
8s
fix(ci): make assail-classifications.a2ml conformant TOML-A2ML (#52) BoJ Server Build Trigger #81: Commit 3949370 pushed by hyperpolymath
11s main
main
11s
audit(security): audited assail-classifications for the 3 legitimate … BoJ Server Build Trigger #80: Commit 0140014 pushed by hyperpolymath
9s main
main
9s
fix(ci): unbreak estate-rules + A2ML gates introduced by #49 (#50) BoJ Server Build Trigger #79: Commit eae2272 pushed by hyperpolymath
10s main
main
10s
Axiom flagship (4) — estate tooling: Aqua/JET/Documenter/test-gate + … BoJ Server Build Trigger #78: Commit 4e40494 pushed by hyperpolymath
9s main
main
9s
Axiom flagship (3) — real hybrid Ed448+Dilithium5 certificate signing… BoJ Server Build Trigger #77: Commit cf82ad6 pushed by hyperpolymath
9s main
main
9s
Axiom flagship hardening (2) — honest proof claims (G03–G05) + design… BoJ Server Build Trigger #76: Commit 9acb0ef pushed by hyperpolymath
8s main
main
8s