Skip to content

Actions: hyperpolymath/affinescript

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
612 workflow runs
612 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
ci: bump the github-actions group across 1 directory with 4 updates (… GitHub Pages #612: Commit 5070534 pushed by hyperpolymath
10m 34s main
main
10m 34s
Make bisect_ppx actually instrument the library — coverage was measur… GitHub Pages #611: Commit 8f1b06a pushed by hyperpolymath
11m 18s main
main
11m 18s
docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) GitHub Pages #610: Commit 707fd5f pushed by hyperpolymath
33m 22s main
main
33m 22s
fix(ci): repair the Coq gate on main — coqc not found (#711) GitHub Pages #609: Commit 7f6cb79 pushed by hyperpolymath
29m 15s main
main
29m 15s
ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709) GitHub Pages #608: Commit ed4e223 pushed by hyperpolymath
20m 29s main
main
20m 29s
ci: bump the github-actions group with 3 updates (#707) GitHub Pages #607: Commit 3e34d7f pushed by hyperpolymath
8m 4s main
main
8m 4s
rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from… GitHub Pages #606: Commit 9a27760 pushed by hyperpolymath
10m 28s main
main
10m 28s
ci: bump the github-actions group across 1 directory with 8 updates (… GitHub Pages #605: Commit 1c169c0 pushed by hyperpolymath
1h 5m 58s main
main
1h 5m 58s
fix(ci): estate-wide foundational remediation (#706) GitHub Pages #604: Commit e200bf3 pushed by hyperpolymath
3m 48s main
main
3m 48s
fix(ci): estate-wide foundational remediation (#705) GitHub Pages #603: Commit 99b3f29 pushed by hyperpolymath
10m 38s main
main
10m 38s
Sync local commits to main (#704) GitHub Pages #602: Commit 453d7a2 pushed by hyperpolymath
1h 51m 54s main
main
1h 51m 54s
fix(ci): use the canonical Scorecard wrapper instead of a local copy … GitHub Pages #601: Commit 6471180 pushed by hyperpolymath
4h 19m 45s main
main
4h 19m 45s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #600: Commit 30a5c1c pushed by hyperpolymath
2h 37m 30s main
main
2h 37m 30s
fix(ci): add missing SPDX headers to workflow files (#697) GitHub Pages #599: Commit 2e9dd40 pushed by hyperpolymath
1h 8m 58s main
main
1h 8m 58s
fix(ci): group Dependabot updates into one PR per ecosystem (#699) GitHub Pages #598: Commit fda83af pushed by hyperpolymath
2m 29s main
main
2m 29s
docs: resolve the SystemET/Anytype design-notes TODO (README.adoc) (#… GitHub Pages #597: Commit 9966884 pushed by hyperpolymath
1h 2m 1s main
main
1h 2m 1s
chore(governance): land missing docs/packaging before the standards#5… GitHub Pages #596: Commit e27df45 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: deploy docs via Ddraig SSG (#695) GitHub Pages #595: Commit e8ec559 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump dtolnay/rust-toolchain from fa04a1451ff1842e2626ccb99004d019… GitHub Pages #594: Commit 42e6cc1 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump actions/setup-node from 6.4.0 to 7.0.0 (#690) GitHub Pages #593: Commit 47300a1 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump github/codeql-action/init from 4.37.0 to 4.37.1 (#691) GitHub Pages #592: Commit c09450e pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump github/codeql-action/analyze from 4.37.0 to 4.37.1 (#693) GitHub Pages #591: Commit 2e43c41 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump github/codeql-action/upload-sarif from 4.37.0 to 4.37.1 (#694) GitHub Pages #590: Commit 71f5399 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump github/codeql-action/init from 4.36.3 to 4.37.0 (#687) GitHub Pages #589: Commit 80e6edb pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: bump github/codeql-action/analyze from 4.36.3 to 4.37.0 (#688) GitHub Pages #588: Commit 8c89a72 pushed by hyperpolymath
Startup failure main
main
Startup failure