Skip to content

Actions: hyperpolymath/iseriser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
90 workflow runs
90 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): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #90: Commit 5581786 pushed by hyperpolymath
3h 4m 55s main
main
3h 4m 55s
security: re-pin secret scanner onto the real gitleaks gate (#82) GitHub Pages #89: Commit ad848dd pushed by hyperpolymath
13m 30s main
main
13m 30s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #88: Commit bcf7ad8 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#80) GitHub Pages #87: Commit fe437da pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#79) GitHub Pages #86: Commit eb6e962 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) … GitHub Pages #85: Commit 356017a pushed by hyperpolymath
-1s main
main
-1s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #84: Commit 2ae2976 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#76) GitHub Pages #83: Commit e369b3c pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #82: Commit 2e9d19f pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… GitHub Pages #81: Commit 10b0a71 pushed by hyperpolymath
4m 10s main
main
4m 10s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) GitHub Pages #80: Commit 9d5e5d8 pushed by hyperpolymath
3m 28s main
main
3m 28s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) GitHub Pages #79: Commit 024dbbd pushed by hyperpolymath
3h 12m 57s main
main
3h 12m 57s
ci: add ABI↔FFI conformance gate (#71) GitHub Pages #78: Commit a7ccd57 pushed by hyperpolymath
2m 36s main
main
2m 36s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer (… GitHub Pages #77: Commit 13208cd pushed by hyperpolymath
2m 51s main
main
2m 51s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) (#69) GitHub Pages #76: Commit 1b23126 pushed by hyperpolymath
3m 1s main
main
3m 1s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)… GitHub Pages #75: Commit 5f6dc0d pushed by hyperpolymath
2m 43s main
main
2m 43s
iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67) GitHub Pages #74: Commit 6f102af pushed by hyperpolymath
2m 57s main
main
2m 57s
docs(readme): convert README.adoc -> Markdown README.md (#66) GitHub Pages #73: Commit c0eb925 pushed by hyperpolymath
1h 16m 9s main
main
1h 16m 9s
chore(clade): backfill [status] lifecycle block (default active) (#64) GitHub Pages #72: Commit 3f5a7e5 pushed by hyperpolymath
1d 1h 54m 27s main
main
1d 1h 54m 27s
chore(ci): add dormant push-email notification workflow (#65) GitHub Pages #71: Commit a484e7f pushed by hyperpolymath
9m 18s main
main
9m 18s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#63) GitHub Pages #70: Commit 8d9911e pushed by hyperpolymath
1h 13m 27s main
main
1h 13m 27s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#62) GitHub Pages #69: Commit 3438a24 pushed by hyperpolymath
1d 1h 41m 38s main
main
1d 1h 41m 38s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#61) GitHub Pages #68: Commit 79155ba pushed by hyperpolymath
1h 45m 7s main
main
1h 45m 7s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #67: Commit 08363bd pushed by hyperpolymath
1h 33m 43s main
main
1h 33m 43s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #66: Commit 14b82f0 pushed by hyperpolymath
45m 54s main
main
45m 54s