Skip to content

Actions: hyperpolymath/krl

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
79 workflow runs
79 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(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #79: Commit d0e33e2 pushed by hyperpolymath
1s main
main
1s
fix(security): least-privilege workflow permissions (SonarCloud New C… Mirror to Git Forges #78: Commit 638e957 pushed by hyperpolymath
1s main
main
1s
fix(ci): close the three gaps left on main by #55 and #56 (#57) Mirror to Git Forges #77: Commit 1dbe96d pushed by hyperpolymath
8s main
main
8s
fix(governance): add SPDX header to pages.yml, refresh three stale st… Mirror to Git Forges #76: Commit bd1e1fd pushed by hyperpolymath
1s main
main
1s
fix(dogfood-gate): repair the manifest defects the revived gate expos… Mirror to Git Forges #75: Commit 10e8662 pushed by hyperpolymath
1s main
main
1s
docs: de-conflate KRL from Tangle, restate the readiness grade honest… Mirror to Git Forges #74: Commit 2d4cbbe pushed by hyperpolymath
1s main
main
1s
fix: repair non-compiling FFI, vacuous gates and three parse-dead wor… Mirror to Git Forges #73: Commit 75bad95 pushed by hyperpolymath
1s main
main
1s
security: re-pin secret scanner onto the real gitleaks gate (#52) Mirror to Git Forges #72: Commit a518758 pushed by hyperpolymath
1s main
main
1s
ci: deploy docs via Ddraig SSG (#51) Mirror to Git Forges #71: Commit 8148cf5 pushed by hyperpolymath
Skipped main
main
Skipped
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… Mirror to Git Forges #70: Commit 04c9b0f pushed by hyperpolymath
6s main
main
6s
ci: Secret Scanner caller must grant the reusable's job permissions (… Mirror to Git Forges #69: Commit 6412169 pushed by hyperpolymath
1s main
main
1s
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minut… Mirror to Git Forges #68: Commit 366952a pushed by hyperpolymath
1s main
main
1s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#47) Mirror to Git Forges #67: Commit 9736d66 pushed by hyperpolymath
1s main
main
1s
fix(clade): correct identity to deterministic v5 (rsr-template residu… Mirror to Git Forges #66: Commit 64e715e pushed by hyperpolymath
1s main
main
1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#45) Mirror to Git Forges #65: Commit 4febf1d pushed by hyperpolymath
1s main
main
1s
docs(readme): convert README.adoc -> Markdown README.md (#44) Mirror to Git Forges #64: Commit 6f4e1b6 pushed by hyperpolymath
10s main
main
10s
chore(ci): add dormant push-email notification workflow (#43) Mirror to Git Forges #63: Commit d6b4c40 pushed by hyperpolymath
2s main
main
2s
chore(clade): backfill [status] lifecycle block (default active) (#42) Mirror to Git Forges #62: Commit babb6e1 pushed by hyperpolymath
1s main
main
1s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#41) Mirror to Git Forges #61: Commit 84c74fb pushed by hyperpolymath
1s main
main
1s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#40) Mirror to Git Forges #60: Commit df34f83 pushed by hyperpolymath
1s main
main
1s
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #59: Commit 0844f7b pushed by hyperpolymath
2s main
main
2s
docs(scope): wire KnotTheory.jl + nextgen-typing into sibling-concern… Mirror to Git Forges #58: Commit 661622d pushed by hyperpolymath
1s main
main
1s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Mirror to Git Forges #57: Commit 1ecbf12 pushed by hyperpolymath
2s main
main
2s
docs(scope): mark VerisimCore placement resolved in scope table Mirror to Git Forges #56: Commit 7fda2f5 pushed by hyperpolymath
2s main
main
2s
docs(affirmation): krl AFFIRMATION (real gate run) + scoped scope table Mirror to Git Forges #55: Commit 79fd29c pushed by hyperpolymath
1s main
main
1s