Skip to content

Actions: hyperpolymath/ochrance-framework

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
58 workflow runs
58 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
Sync local commits to main (#32) GitHub Pages #58: Commit edd070c pushed by hyperpolymath
1h 31m 56s main
main
1h 31m 56s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #57: Commit e90636a pushed by hyperpolymath
3h 12m 44s main
main
3h 12m 44s
security: re-pin secret scanner onto the real gitleaks gate (#30) GitHub Pages #56: Commit 988ac6f pushed by hyperpolymath
35m 51s main
main
35m 51s
ci: deploy docs via Ddraig SSG (#29) GitHub Pages #55: Commit 3205b6c pushed by hyperpolymath
1h 36m 22s main
main
1h 36m 22s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… GitHub Pages #54: Commit 762a569 pushed by hyperpolymath
16m 14s main
main
16m 14s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #53: Commit bed6dc0 pushed by hyperpolymath
28m 50s main
main
28m 50s
fix(ci): clear OSSF Scorecard startup_failure (#26) GitHub Pages #52: Commit d02bc1a pushed by hyperpolymath
1h 2m 28s main
main
1h 2m 28s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#25) GitHub Pages #51: Commit 130cf00 pushed by hyperpolymath
1h 48m 44s main
main
1h 48m 44s
chore(clade): backfill [status] lifecycle block (#23) GitHub Pages #50: Commit ca58977 pushed by hyperpolymath
21h 47m 43s main
main
21h 47m 43s
chore(ci): add dormant push-email notification workflow (#24) GitHub Pages #49: Commit c3b9860 pushed by hyperpolymath
9m 40s main
main
9m 40s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #48: Commit 91a9ef7 pushed by hyperpolymath
1h 3m 16s main
main
1h 3m 16s
chore(ci): bump standards reusable workflow pins (#21) GitHub Pages #47: Commit 2d94fe7 pushed by hyperpolymath
4h 51m 59s main
main
4h 51m 59s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #46: Commit 4e0addb pushed by hyperpolymath
1h 1m 11s main
main
1h 1m 11s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #45: Commit f8e1d05 pushed by hyperpolymath
17m 42s main
main
17m 42s
docs(anchor): set ochrance-framework clade to fv (#19) GitHub Pages #44: Commit 2d63c8a pushed by hyperpolymath
19m 52s main
main
19m 52s
docs(machine_readable): ochrance-framework checkpoint — refresh 6a2 +… GitHub Pages #43: Commit c240229 pushed by hyperpolymath
23m 30s main
main
23m 30s
Update issue templates GitHub Pages #42: Commit c7befcc pushed by hyperpolymath
22m 36s main
main
22m 36s
Resurrect the framework Idris2 core: compile all 13 modules (Framewor… GitHub Pages #41: Commit 3163e14 pushed by hyperpolymath
23m 37s main
main
23m 37s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … GitHub Pages #40: Commit 8970a45 pushed by hyperpolymath
27m 59s main
main
27m 59s
ci: fix CI/CD configuration (campaigns C001-C005) GitHub Pages #39: Commit 1c36fd1 pushed by hyperpolymath
23m 46s main
main
23m 46s
fix(ci): replace fake action SHA pins with version-faithful real SHAs… GitHub Pages #38: Commit 3802388 pushed by hyperpolymath
14h 26m 1s main
main
14h 26m 1s
chore(ci): replace scorecard.yml with reusable wrapper (#13) GitHub Pages #37: Commit d921694 pushed by hyperpolymath
12h 45m 26s main
main
12h 45m 26s
chore(ci): replace secret-scanner.yml with reusable wrapper (#12) GitHub Pages #36: Commit 2c0e8cd pushed by hyperpolymath
10s main
main
10s
chore(ci): replace mirror.yml with reusable wrapper (#11) GitHub Pages #35: Commit 544e237 pushed by hyperpolymath
6s main
main
6s
docs: record tech-debt audit findings (2026-05-26) (#10) GitHub Pages #34: Commit f53f2d3 pushed by hyperpolymath
6h 7m 26s main
main
6h 7m 26s