Skip to content

Actions: hyperpolymath/proven

Actions

OpenSSF Scorecard

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
323 workflow runs
323 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
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) OpenSSF Scorecard #323: Commit 6b8fa34 pushed by hyperpolymath
52m 5s main
main
52m 5s
OpenSSF Scorecard OpenSSF Scorecard #322: Scheduled
39s main
main
39s
OpenSSF Scorecard OpenSSF Scorecard #321: Scheduled
41s main
main
41s
Standardize workspace: Track Bust contractile artifacts OpenSSF Scorecard #320: Commit 6922cdf pushed by hyperpolymath
5h 2m 45s main
main
5h 2m 45s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… OpenSSF Scorecard #319: Commit c74624c pushed by hyperpolymath
4h 1m 15s main
main
4h 1m 15s
Standardize workspace: Capitalize Justfile references in scripts and … OpenSSF Scorecard #318: Commit a004770 pushed by hyperpolymath
2h 24m 5s main
main
2h 24m 5s
Standardize workspace: Justfile migration and A2ML directive cleanup OpenSSF Scorecard #317: Commit 09372d3 pushed by hyperpolymath
6m 28s main
main
6m 28s
chore(STATE): reconcile proven completion to stable-library (proven i… OpenSSF Scorecard #316: Commit 4cb556f pushed by hyperpolymath
40s main
main
40s
chore(ffi/zig): update Zig to 0.15.2 and link zig-out as zig-out-stan… OpenSSF Scorecard #315: Commit 389eda2 pushed by hyperpolymath
6m 39s main
main
6m 39s
feat(proven): implement proven_header_has_crlf Zig FFI export OpenSSF Scorecard #314: Commit 2ca7f40 pushed by hyperpolymath
15m 44s main
main
15m 44s
ffi(zig): add proven_path_has_traversal and standalone build OpenSSF Scorecard #313: Commit e961ae6 pushed by hyperpolymath
2h 2m 0s main
main
2h 2m 0s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback OpenSSF Scorecard #312: Commit 4f1cdc6 pushed by hyperpolymath
1h 38m 41s main
main
1h 38m 41s
chore: M5 CI/Workflow Sweep - final synchronisation OpenSSF Scorecard #311: Commit 00f4eb5 pushed by hyperpolymath
1h 12m 18s main
main
1h 12m 18s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just OpenSSF Scorecard #310: Commit 84d80ea pushed by hyperpolymath
31m 21s main
main
31m 21s
OpenSSF Scorecard OpenSSF Scorecard #309: Scheduled
42s main
main
42s
refactor(proven): replace assert_smaller with fuel-bounded recursion OpenSSF Scorecard #308: Commit 74d0d4a pushed by hyperpolymath
5m 37s main
main
5m 37s
chore(v-sweep): remove orphaned V-lang API stub OpenSSF Scorecard #307: Commit 6228b48 pushed by hyperpolymath
58s main
main
58s
docs(v-migration): deprecate V-lang bindings — point to Zig and Rust OpenSSF Scorecard #306: Commit be8f020 pushed by hyperpolymath
52s main
main
52s
chore(6a2): commit 6a2 sweep — a2ml drift OpenSSF Scorecard #305: Commit 4246036 pushed by hyperpolymath
5m 27s main
main
5m 27s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred OpenSSF Scorecard #304: Commit fcf692c pushed by hyperpolymath
1h 13m 43s main
main
1h 13m 43s
OpenSSF Scorecard OpenSSF Scorecard #303: Scheduled
43s main
main
43s
OpenSSF Scorecard OpenSSF Scorecard #302: deleted by hyperpolymath
6h 3m 1s
6h 3m 1s
OpenSSF Scorecard OpenSSF Scorecard #301: edited by hyperpolymath
6h 9m 50s
6h 9m 50s
feat(crg): add crg-grade and crg-badge justfile recipes OpenSSF Scorecard #300: Commit 044b22b pushed by hyperpolymath
6h 12m 14s main
main
6h 12m 14s
chore: add eclexiaiser-validate job to dogfood gate OpenSSF Scorecard #299: Commit 211306b pushed by hyperpolymath
4h 43m 53s main
main
4h 43m 53s