Skip to content

Actions: hyperpolymath/oblibeniser

Actions

OSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
153 workflow runs
153 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 #153: Scheduled
34s main
main
34s
fix(ci): clear OSSF Scorecard startup_failure (#37) OSSF Scorecard #152: Commit 5b767aa pushed by hyperpolymath
54m 9s main
main
54m 9s
OSSF Scorecard OSSF Scorecard #151: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #150: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #149: Scheduled
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #148: Scheduled
1s main
main
1s
OSSF Scorecard OSSF Scorecard #147: Scheduled
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #146: Scheduled
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #145: Scheduled
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) OSSF Scorecard #144: Commit 10a7bd7 pushed by hyperpolymath
4s main
main
4s
OSSF Scorecard OSSF Scorecard #143: Scheduled
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#35) OSSF Scorecard #142: Commit 756a0b2 pushed by hyperpolymath
3s main
main
3s
OSSF Scorecard OSSF Scorecard #141: Scheduled
1s main
main
1s
ABI Layer 5: end-to-end soundness capstone certificate (#34) OSSF Scorecard #140: Commit 069f62c pushed by hyperpolymath
4s main
main
4s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… OSSF Scorecard #139: Commit 7c5e848 pushed by hyperpolymath
4s main
main
4s
ABI Layer 3: reversible operations form a group (modulo denotational … OSSF Scorecard #138: Commit a9d2af7 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… OSSF Scorecard #137: Commit e921fd6 pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) OSSF Scorecard #136: Commit 2d43666 pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #135: Scheduled
Startup failure main
main
Startup failure
P1: fix Zig FFI to build and match the Idris2 ABI (#29) OSSF Scorecard #134: Commit f42c879 pushed by hyperpolymath
1s main
main
1s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) OSSF Scorecard #133: Commit 74d25e3 pushed by hyperpolymath
1s main
main
1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… OSSF Scorecard #132: Commit a676ed9 pushed by hyperpolymath
1s main
main
1s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) OSSF Scorecard #131: Commit 42575df pushed by hyperpolymath
1s main
main
1s
OSSF Scorecard OSSF Scorecard #130: Scheduled
Startup failure main
main
Startup failure
OSSF Scorecard OSSF Scorecard #129: Scheduled
1s main
main
1s