Skip to content

Actions: hyperpolymath/verisimiser

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
230 workflow runs
230 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(codeowners): substitute the un-instantiated {{OWNER}} placeholder… Scorecards supply-chain security #230: Commit 1b0f27a pushed by hyperpolymath
16m 12s main
main
16m 12s
fix(ci): re-point validate-action references at the ecosystem repos (… Scorecards supply-chain security #229: Commit ba509b2 pushed by hyperpolymath
1m 38s main
main
1m 38s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#185) Scorecards supply-chain security #228: Commit c5c2757 pushed by hyperpolymath
23m 32s main
main
23m 32s
Scorecards supply-chain security Scorecards supply-chain security #227: Scheduled
25s main
main
25s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Scorecards supply-chain security #226: Commit 1e39e14 pushed by hyperpolymath
2h 45m 46s main
main
2h 45m 46s
security: re-pin secret scanner onto the real gitleaks gate (#183) Scorecards supply-chain security #225: Commit 5a9500f pushed by hyperpolymath
34m 30s main
main
34m 30s
Scorecards supply-chain security Scorecards supply-chain security #224: Scheduled
27s main
main
27s
Scorecards supply-chain security Scorecards supply-chain security #223: Scheduled
31s main
main
31s
fix(ci): clear OSSF Scorecard startup_failure (#181) Scorecards supply-chain security #222: Commit 3398da0 pushed by hyperpolymath
36m 21s main
main
36m 21s
Scorecards supply-chain security Scorecards supply-chain security #221: Scheduled
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#180) Scorecards supply-chain security #220: Commit 2956930 pushed by hyperpolymath
5s main
main
5s
Scorecards supply-chain security Scorecards supply-chain security #219: Scheduled
Startup failure main
main
Startup failure
fix(soundness): FFI octad ops fail loudly instead of reporting false … Scorecards supply-chain security #218: Commit 696c495 pushed by hyperpolymath
4s main
main
4s
ABI Layer 5: end-to-end soundness capstone certificate (#178) Scorecards supply-chain security #217: Commit ce26ae4 pushed by hyperpolymath
4s main
main
4s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Scorecards supply-chain security #216: Commit 0d2e8e5 pushed by hyperpolymath
5s main
main
5s
ABI Layer 3: compositional sidecar isolation (write-effect monoid hom… Scorecards supply-chain security #215: Commit 3f4675c pushed by hyperpolymath
1s main
main
1s
fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175) Scorecards supply-chain security #214: Commit 77f6eb7 pushed by hyperpolymath
1s main
main
1s
chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)… Scorecards supply-chain security #213: Commit dd49dd3 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(abi): prove hash-chain integrity, version ordering & lineage acy… Scorecards supply-chain security #212: Commit b53a4c8 pushed by hyperpolymath
1s main
main
1s
chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + … Scorecards supply-chain security #211: Commit 5c1c44c pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#171) Scorecards supply-chain security #210: Commit 56e6c5f pushed by hyperpolymath
Startup failure main
main
Startup failure
verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167) Scorecards supply-chain security #209: Commit 86319db pushed by hyperpolymath
Startup failure main
main
Startup failure
P3: prove octad-model invariants as real bijections + sidecar isolati… Scorecards supply-chain security #208: Commit f4ea008 pushed by hyperpolymath
1s main
main
1s
P1: fix Zig FFI to compile under Zig 0.14.0 (#166) Scorecards supply-chain security #207: Commit 84162aa pushed by hyperpolymath
Startup failure main
main
Startup failure
Auto-install pinned Zig toolchain in setup + devcontainer (#165) Scorecards supply-chain security #206: Commit efd2291 pushed by hyperpolymath
1s main
main
1s