Skip to content

Actions: hyperpolymath/a2mliser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
62 workflow runs
62 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
Sync local commits to main (#47) GitHub Pages #62: Commit 0dc5770 pushed by hyperpolymath
1h 20m 29s main
main
1h 20m 29s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #61: Commit 01ceff9 pushed by hyperpolymath
3h 22m 34s main
main
3h 22m 34s
security: re-pin secret scanner onto the real gitleaks gate (#45) GitHub Pages #60: Commit 0b044f8 pushed by hyperpolymath
45s main
main
45s
fix(ci): grant secret-scanner reusable its requested job permissions … GitHub Pages #59: Commit e185099 pushed by hyperpolymath
-1s main
main
-1s
fix(ci): clear OSSF Scorecard startup_failure (#43) GitHub Pages #58: Commit 9e7ae73 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#42) GitHub Pages #57: Commit d266710 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #56: Commit c2bdb0b pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) GitHub Pages #55: Commit 6ebff5a pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #54: Commit 2127e18 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: attestation determinism, idempotence + issue→verify roun… GitHub Pages #53: Commit 8b97dda pushed by hyperpolymath
25m 34s main
main
25m 34s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … GitHub Pages #52: Commit 8af3b8c pushed by hyperpolymath
23m 17s main
main
23m 17s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) GitHub Pages #51: Commit ccdc0d4 pushed by hyperpolymath
21m 25s main
main
21m 25s
ci: add ABI↔FFI conformance gate (#35) GitHub Pages #50: Commit de24586 pushed by hyperpolymath
24m 19s main
main
24m 19s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) GitHub Pages #49: Commit 4160608 pushed by hyperpolymath
26m 56s main
main
26m 56s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #48: Commit 543f386 pushed by hyperpolymath
24m 46s main
main
24m 46s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) GitHub Pages #47: Commit d4725c7 pushed by hyperpolymath
27m 17s main
main
27m 17s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… GitHub Pages #46: Commit 5ef92e9 pushed by hyperpolymath
2h 0m 33s main
main
2h 0m 33s
chore(licence): remove residual Palimpsest/PMPL contradiction text (#30) GitHub Pages #45: Commit 9db21b2 pushed by hyperpolymath
56m 45s main
main
56m 45s
chore(ci): add dormant push-email notification workflow (#29) GitHub Pages #44: Commit 7b73e1e pushed by hyperpolymath
22h 32m 2s main
main
22h 32m 2s
chore(clade): backfill [status] lifecycle block (#28) GitHub Pages #43: Commit cac8c0e pushed by hyperpolymath
1h 35m 25s main
main
1h 35m 25s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #42: Commit 2e10384 pushed by hyperpolymath
8h 43m 57s main
main
8h 43m 57s
chore(ci): bump standards reusable workflow pins (#26) GitHub Pages #41: Commit 3b91de1 pushed by hyperpolymath
25m 24s main
main
25m 24s
chore(nix->guix): remove flake.nix (Guix-only) (#25) GitHub Pages #40: Commit 3b1a630 pushed by hyperpolymath
36m 30s main
main
36m 30s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #39: Commit 0638ddd pushed by hyperpolymath
24m 30s main
main
24m 30s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #38: Commit cb65504 pushed by hyperpolymath
1h 7m 47s main
main
1h 7m 47s