Skip to content

Actions: hyperpolymath/modshells

Actions

OpenSSF Scorecard Enforcer

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard-enforcer.yml
114 workflow runs
114 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
Add workflow-linter.yml prevention workflow OpenSSF Scorecard Enforcer #114: Commit eac389f pushed by hyperpolymath
6h 23m 32s main
main
6h 23m 32s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 OpenSSF Scorecard Enforcer #113: Commit c2d450b pushed by hyperpolymath
3h 35m 51s main
main
3h 35m 51s
chore(deps): Bump the actions group across 1 directory with 3 updates… OpenSSF Scorecard Enforcer #112: Commit 2c600d8 pushed by hyperpolymath
12h 20m 20s main
main
12h 20m 20s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl… OpenSSF Scorecard Enforcer #111: Commit 932af33 pushed by hyperpolymath
37m 32s main
main
37m 32s
ci(spark): adopt estate SPARK Theatre Gate (#135) (#50) OpenSSF Scorecard Enforcer #110: Commit 9080e60 pushed by hyperpolymath
15m 38s main
main
15m 38s
docs(proof): modshells SPARK no-op exemption (reconcile stale audit) … OpenSSF Scorecard Enforcer #109: Commit ba9b072 pushed by hyperpolymath
5m 52s main
main
5m 52s
OpenSSF Scorecard Enforcer OpenSSF Scorecard Enforcer #108: Scheduled
14h 50m 44s main
main
14h 50m 44s
harden(ci): concurrency-cancel guard on canonical check workflows (#48) OpenSSF Scorecard Enforcer #107: Commit 103fdfa pushed by hyperpolymath
48m 43s main
main
48m 43s
fix(ci): sync hypatia-scan.yml to canonical (#46) OpenSSF Scorecard Enforcer #106: Commit 4b8eebb pushed by hyperpolymath
22h 34m 25s main
main
22h 34m 25s
chore(ci): prune CI noise — single governance wrapper (verisimiser#59… OpenSSF Scorecard Enforcer #105: Commit 36c5059 pushed by hyperpolymath
8h 8m 25s main
main
8h 8m 25s
chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith… OpenSSF Scorecard Enforcer #104: Commit fa390da pushed by hyperpolymath
3m 35s main
main
3m 35s
chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43) OpenSSF Scorecard Enforcer #103: Commit 3eae06e pushed by hyperpolymath
10m 20s main
main
10m 20s
chore: Item 9 — retire ReScript guidance → AffineScript (#42) OpenSSF Scorecard Enforcer #102: Commit 65986aa pushed by hyperpolymath
8m 18s main
main
8m 18s
fix(ci): point CodeQL at actions so SAST runs every commit (#72) (#41) OpenSSF Scorecard Enforcer #101: Commit 2062d72 pushed by hyperpolymath
42m 46s main
main
42m 46s
chore(deps): Bump the actions group with 6 updates (#38) OpenSSF Scorecard Enforcer #100: Commit e4b5758 pushed by hyperpolymath
1h 6m 4s main
main
1h 6m 4s
fix(ci): adopt canonical hypatia-scan.yml (#39) OpenSSF Scorecard Enforcer #99: Commit 07e20dc pushed by hyperpolymath
1h 11m 55s main
main
1h 11m 55s
Normalize license badge OpenSSF Scorecard Enforcer #98: Commit 34615c1 pushed by hyperpolymath
9m 4s main
main
9m 4s
fix(ci): hypatia-scan workdir (${{ env.HOME }} resolves empty) (#37) OpenSSF Scorecard Enforcer #97: Commit 8e7f1b0 pushed by hyperpolymath
1h 29m 39s main
main
1h 29m 39s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymat… OpenSSF Scorecard Enforcer #96: Commit f23b249 pushed by hyperpolymath
3h 43m 47s main
main
3h 43m 47s
fix(ci): rsr-antipattern duplicate heredoc + setup-beam ubuntu24 (#34) OpenSSF Scorecard Enforcer #95: Commit 9086782 pushed by hyperpolymath
6h 40m 50s main
main
6h 40m 50s
fix(ci): repair YAML block-scalar in workflow-linter Check Permission… OpenSSF Scorecard Enforcer #94: Commit f319082 pushed by hyperpolymath
5h 50m 44s main
main
5h 50m 44s
fix(ci): move secret-scanner Cargo.toml gate from job-level if: to st… OpenSSF Scorecard Enforcer #93: Commit 824c3e2 pushed by hyperpolymath
5h 2m 22s main
main
5h 2m 22s
ci(secret-scanner): drop duplicate --fail from trufflehog extra_args … OpenSSF Scorecard Enforcer #92: Commit be58ce5 pushed by hyperpolymath
40s main
main
40s
OpenSSF Scorecard Enforcer OpenSSF Scorecard Enforcer #91: Scheduled
2m 21s main
main
2m 21s
OpenSSF Scorecard Enforcer OpenSSF Scorecard Enforcer #90: Scheduled
41s main
main
41s