Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Language Policy Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
language-policy.yml
465 workflow runs
465 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): regenerate actions.lock for codeql-action v4.38.1 and wiki-s… Language Policy Enforcement #440: Commit 5613b0e pushed by hyperpolymath
8s main
main
8s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync Language Policy Enforcement #439: Pull request #178 synchronize by hyperpolymath
47s chore/refresh-actions-lock
chore/refresh-actions-lock
47s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync Language Policy Enforcement #438: Pull request #178 opened by hyperpolymath
10s chore/refresh-actions-lock
chore/refresh-actions-lock
10s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 Language Policy Enforcement #437: Pull request #177 opened by hyperpolymath
9s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
9s
fix: resolve repository issues, port Lean FilesystemCNO, and unify Co… Language Policy Enforcement #436: Commit b7c780f pushed by hyperpolymath
10s main
main
10s
fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags Language Policy Enforcement #435: Pull request #174 opened by arena-ai-coding-agent Bot
44s arena/01a0df23-absolute-zero
arena/01a0df23-absolute-zero
44s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… Language Policy Enforcement #434: Commit 3e959cb pushed by hyperpolymath
6s main
main
6s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the actions group Language Policy Enforcement #433: Pull request #173 opened by dependabot Bot
7s dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
7s
proofs: honest prover gate — absent prover = fail, z3 expect-checked,… Language Policy Enforcement #432: Commit 877ede2 pushed by hyperpolymath
10s main
main
10s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Language Policy Enforcement #431: Pull request #172 synchronize by hyperpolymath
44s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
44s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Language Policy Enforcement #430: Pull request #172 synchronize by coderabbitai Bot
11s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
11s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Language Policy Enforcement #429: Pull request #172 synchronize by coderabbitai Bot
10s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
10s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) Language Policy Enforcement #428: Pull request #172 opened by hyperpolymath
43s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
43s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) (#169) Language Policy Enforcement #427: Commit dd87b48 pushed by hyperpolymath
5m 53s main
main
5m 53s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) Language Policy Enforcement #426: Pull request #169 opened by hyperpolymath
4m 56s fix/168-scorecard-caller
fix/168-scorecard-caller
4m 56s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axi… Language Policy Enforcement #425: Commit 828399a pushed by hyperpolymath
9s main
main
9s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Language Policy Enforcement #424: Pull request #165 synchronize by coderabbitai Bot
7s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
7s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Language Policy Enforcement #423: Pull request #165 synchronize by hyperpolymath
10s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
10s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job Language Policy Enforcement #422: Pull request #165 opened by hyperpolymath
12s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
12s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governa… Language Policy Enforcement #421: Commit 3c8796a pushed by hyperpolymath
29s main
main
29s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governance to standards@fad242d3 (#163) Language Policy Enforcement #420: Pull request #164 opened by hyperpolymath
20s fix/160-163-cure-main-reds
fix/160-163-cure-main-reds
20s
fix(ci): reconcile actions.lock so the lockfile validates (#159) Language Policy Enforcement #419: Commit 74202cb pushed by hyperpolymath
3h 43m 36s main
main
3h 43m 36s
fix(ci): reconcile actions.lock so the lockfile validates Language Policy Enforcement #418: Pull request #159 opened by hyperpolymath
3h 43m 45s fix/lockfile-reconcile
fix/lockfile-reconcile
3h 43m 45s
fix(ci): correct reusable-workflow caller permissions and inputs (#158) Language Policy Enforcement #417: Commit a551037 pushed by hyperpolymath
1m 6s main
main
1m 6s
fix(ci): correct reusable-workflow caller permissions and inputs Language Policy Enforcement #416: Pull request #158 opened by hyperpolymath
7s fix/reusable-caller-permissions-3
fix/reusable-caller-permissions-3
7s