Skip to content

Actions: hyperpolymath/Axiom.jl

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
89 workflow runs
89 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: add BerryWiki coprocessor notebook (#75) GitHub Pages #89: Commit 16965e7 pushed by hyperpolymath
14s main
main
14s
fix(ci): add the estate Julia registry before instantiate (#74) GitHub Pages #88: Commit be4e456 pushed by hyperpolymath
10m 55s main
main
10m 55s
chore(ci): make Scorecard periodic, not per-push (#73) GitHub Pages #87: Commit 452da5e pushed by hyperpolymath
1h 4m 13s main
main
1h 4m 13s
fix(ci): repair workflow-linter.yml — GitHub cannot parse it, so it h… GitHub Pages #86: Commit d6b7970 pushed by hyperpolymath
2m 29s main
main
2m 29s
fix(ci): re-point validate-action references at the ecosystem repos (… GitHub Pages #85: Commit fac3383 pushed by hyperpolymath
18m 35s main
main
18m 35s
Sync local commits to main (#69) GitHub Pages #84: Commit 240a5d7 pushed by hyperpolymath
1h 11m 1s main
main
1h 11m 1s
docs+feat: honest wiki claims + Dense pair/keyword constructor so doc… GitHub Pages #83: Commit 6414b09 pushed by hyperpolymath
1h 3m 14s main
main
1h 3m 14s
fix(proof-bundle): non-vacuous fixtures so reconcile reports complete… GitHub Pages #82: Commit 1ed7e24 pushed by hyperpolymath
1h 37m 47s main
main
1h 37m 47s
feat(tensor): wire tensor arithmetic; fix stale Rust→Zig backend wiki… GitHub Pages #81: Commit 815e66b pushed by hyperpolymath
1h 3m 5s main
main
1h 3m 5s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #80: Commit 94cf0d1 pushed by hyperpolymath
3h 16m 33s main
main
3h 16m 33s
security: re-pin secret scanner onto the real gitleaks gate (#64) GitHub Pages #79: Commit f96810d pushed by hyperpolymath
1m 24s main
main
1m 24s
refactor(interop): remove Python from_pytorch bridge, make it pure Ju… GitHub Pages #78: Commit e54fa44 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(dsl): implement compile-time shape verification in @axiom (#62) GitHub Pages #77: Commit 0d263c9 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #76: Commit 59ce4fa pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#60) GitHub Pages #75: Commit 5009f3f pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: adopt proven-tests taxonomy as Axiom's testing convention (G19)… GitHub Pages #74: Commit bc3f423 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: convert README.md → README.adoc (estate format; fixes dangling … GitHub Pages #73: Commit 198fcba pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(licence+hygiene): SPDX headers on headerless estate .idr/.zig (… GitHub Pages #72: Commit d22806a pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: honesty sweep — correct overclaimed dependency/feature/status d… GitHub Pages #71: Commit f9fee8c pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(integrations): wire HuggingFace import (G06) — offline core test… GitHub Pages #70: Commit ad15f4c pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): reword flagship-rubric to not trip the estate V-lang grep (#54) GitHub Pages #69: Commit 4be2713 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: design-diary entry 0007 + flagship rubric (measuring-stick) (#53) GitHub Pages #68: Commit 91f7dc7 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): make assail-classifications.a2ml conformant TOML-A2ML (#52) GitHub Pages #67: Commit 3949370 pushed by hyperpolymath
Startup failure main
main
Startup failure
audit(security): audited assail-classifications for the 3 legitimate … GitHub Pages #66: Commit 0140014 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): unbreak estate-rules + A2ML gates introduced by #49 (#50) GitHub Pages #65: Commit eae2272 pushed by hyperpolymath
Startup failure main
main
Startup failure