Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
182 workflow runs
182 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
OSSF Scorecard OSSF Scorecard #157: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #156: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #155: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #154: Scheduled
1s main
main
1s
fix(clade): correct identity uuid (deterministic v5) (#43) OSSF Scorecard #153: Commit a95cc52 pushed by hyperpolymath
4s main
main
4s
OSSF Scorecard OSSF Scorecard #152: Scheduled
1s main
main
1s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) OSSF Scorecard #151: Commit 3c05860 pushed by hyperpolymath
4s main
main
4s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… OSSF Scorecard #150: Commit 65adbce pushed by hyperpolymath
4s main
main
4s
OSSF Scorecard OSSF Scorecard #149: Scheduled
1s main
main
1s
ABI Layer 5: end-to-end soundness capstone certificate (#40) OSSF Scorecard #148: Commit e687c88 pushed by hyperpolymath
4s main
main
4s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… OSSF Scorecard #147: Commit 5b37667 pushed by hyperpolymath
4s main
main
4s
ABI Layer 3: affine composition law over disjoint variable sets (#38) OSSF Scorecard #146: Commit befb22e pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … OSSF Scorecard #145: Commit bd08c30 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) OSSF Scorecard #144: Commit cc37b35 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #143: Scheduled
1s main
main
1s
ci: add ABI↔FFI conformance gate (#35) OSSF Scorecard #142: Commit 6532bc9 pushed by hyperpolymath
1s main
main
1s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) OSSF Scorecard #141: Commit 703fd16 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… OSSF Scorecard #140: Commit 412ae57 pushed by hyperpolymath
2s main
main
2s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) OSSF Scorecard #139: Commit 2a34624 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #138: Scheduled
Startup failure main
main
Startup failure
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… OSSF Scorecard #137: Commit d2d08ea pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #136: Scheduled
Startup failure main
main
Startup failure
chore(clade): backfill [status] lifecycle block (#29) OSSF Scorecard #135: Commit a6ffd68 pushed by hyperpolymath
1s main
main
1s
chore(ci): add dormant push-email notification workflow (#30) OSSF Scorecard #134: Commit a714845 pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … OSSF Scorecard #133: Commit 24600a6 pushed by hyperpolymath
1s main
main
1s