Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Language Policy Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
language-policy.yml
334 workflow runs
334 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
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT en… Language Policy Enforcement #209: Commit e0e0d32 pushed by hyperpolymath
1m 39s main
main
1m 39s
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT entries (Phase 2c) Language Policy Enforcement #208: Pull request #62 opened by hyperpolymath
1m 16s proof-debt/filesystem-cluster
proof-debt/filesystem-cluster
1m 16s
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT en… Language Policy Enforcement #207: Commit d5c2cf9 pushed by hyperpolymath
2m 2s proof-debt/filesystem-cluster
proof-debt/filesystem-cluster
2m 2s
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) (#61) Language Policy Enforcement #206: Commit 885d85b pushed by hyperpolymath
6m 39s main
main
6m 39s
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) Language Policy Enforcement #205: Pull request #61 opened by hyperpolymath
7m 43s proof-debt/cno-common-cluster
proof-debt/cno-common-cluster
7m 43s
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) Language Policy Enforcement #204: Commit 53f292a pushed by hyperpolymath
7m 30s proof-debt/cno-common-cluster
proof-debt/cno-common-cluster
7m 30s
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2… Language Policy Enforcement #203: Commit 6a17152 pushed by hyperpolymath
11m 24s main
main
11m 24s
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2a triage Language Policy Enforcement #202: Pull request #60 opened by hyperpolymath
11m 5s proof-debt/lambda-cluster-annotations
proof-debt/lambda-cluster-annotations
11m 5s
docs+annotate: Lambda cluster — inline AXIOM: comments + §(c)/§(d) pr… Language Policy Enforcement #201: Commit fe651c9 pushed by hyperpolymath
9m 17s proof-debt/lambda-cluster-annotations
proof-debt/lambda-cluster-annotations
9m 17s
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META (#59) Language Policy Enforcement #200: Commit 2723aad pushed by hyperpolymath
20m 15s main
main
20m 15s
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META Language Policy Enforcement #199: Pull request #59 opened by hyperpolymath
22m 40s docs/proof-debt-triage-cleanup-2026-05-27
docs/proof-debt-triage-cleanup-2026-05-27
22m 40s
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META Language Policy Enforcement #198: Commit c07adac pushed by hyperpolymath
19m 52s docs/proof-debt-triage-cleanup-2026-05-27
docs/proof-debt-triage-cleanup-2026-05-27
19m 52s
docs: Phase 1 per-axiom triage of 72 Coq Axioms (#58) Language Policy Enforcement #197: Commit e17256b pushed by hyperpolymath
27m 39s main
main
27m 39s
docs: Phase 1 per-axiom triage of 72 Coq Axioms Language Policy Enforcement #196: Pull request #58 opened by hyperpolymath
27m 22s docs/proof-debt-triage-2026-05-27
docs/proof-debt-triage-2026-05-27
27m 22s
docs: Phase 1 per-axiom triage of 72 Coq Axioms (proof-debt §c/§a/§b … Language Policy Enforcement #195: Commit 9f85f01 pushed by hyperpolymath
26m 5s docs/proof-debt-triage-2026-05-27
docs/proof-debt-triage-2026-05-27
26m 5s
chore(ci): delete jekyll-gh-pages.yml — no Jekyll site here Language Policy Enforcement #194: Pull request #57 opened by hyperpolymath
6h 26m 39s cleanup/delete-doomed-jekyll
cleanup/delete-doomed-jekyll
6h 26m 39s
chore(ci): delete jekyll-gh-pages.yml — no Jekyll site here Language Policy Enforcement #193: Commit 2c3c385 pushed by hyperpolymath
6h 19m 19s cleanup/delete-doomed-jekyll
cleanup/delete-doomed-jekyll
6h 19m 19s
chore(ci): replace scorecard.yml with reusable wrapper (#56) Language Policy Enforcement #192: Commit ab35c07 pushed by hyperpolymath
9h 40m 8s main
main
9h 40m 8s
chore(ci): replace scorecard.yml with reusable wrapper Language Policy Enforcement #191: Pull request #56 opened by hyperpolymath
9h 38m 27s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 38m 27s
chore(ci): replace scorecard.yml with reusable wrapper Language Policy Enforcement #190: Commit 2402bf2 pushed by hyperpolymath
9h 38m 27s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 38m 27s
docs: seed CHANGELOG.md (Keep-a-Changelog format) Language Policy Enforcement #189: Commit 7c377cd pushed by hyperpolymath
8h 27m 5s main
main
8h 27m 5s
docs: seed CHANGELOG.md (Keep-a-Changelog format) Language Policy Enforcement #188: Pull request #55 opened by hyperpolymath
8h 26m 18s claude/changelog-seed-2026-05-26
claude/changelog-seed-2026-05-26
8h 26m 18s
docs: seed CHANGELOG.md (Keep-a-Changelog format) Language Policy Enforcement #187: Commit cf2468e pushed by hyperpolymath
8h 27m 11s claude/changelog-seed-2026-05-26
claude/changelog-seed-2026-05-26
8h 27m 11s
chore(spdx): migrate PMPL-1.0-or-later → MPL-2.0 (20 files) (#54) Language Policy Enforcement #186: Commit a85ab15 pushed by hyperpolymath
8h 23m 42s main
main
8h 23m 42s
chore(spdx): migrate PMPL-1.0-or-later → MPL-2.0 (20 files) Language Policy Enforcement #185: Pull request #54 opened by hyperpolymath
8h 25m 20s chore/spdx-pmpl-to-mpl-2026-05-26
chore/spdx-pmpl-to-mpl-2026-05-26
8h 25m 20s