Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Language Policy Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
language-policy.yml
329 workflow runs
329 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: Secret Scanner caller must grant the reusable's job permissions Language Policy Enforcement #304: Pull request #107 opened by hyperpolymath
11s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
11s
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) Language Policy Enforcement #303: Commit 2acfc89 pushed by hyperpolymath
10s main
main
10s
ci: add reliable Agda job (version-matched agda-stdlib via git) Language Policy Enforcement #302: Pull request #106 opened by hyperpolymath
2m 47s ci-agda-stdlib
ci-agda-stdlib
2m 47s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) Language Policy Enforcement #301: Commit bf6f1e0 pushed by hyperpolymath
11s main
main
11s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 Language Policy Enforcement #300: Pull request #105 synchronize by hyperpolymath
10s ci-drop-agda
ci-drop-agda
10s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 Language Policy Enforcement #299: Pull request #105 opened by hyperpolymath
9s ci-drop-agda
ci-drop-agda
9s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… Language Policy Enforcement #298: Commit 720e410 pushed by hyperpolymath
7s main
main
7s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib) Language Policy Enforcement #297: Pull request #104 opened by hyperpolymath
11s ci-agda-fix2
ci-agda-fix2
11s
fix(ci): robust agda-stdlib registration (green the proofs workflow) … Language Policy Enforcement #296: Commit 137aaf9 pushed by hyperpolymath
38s main
main
38s
fix(ci): robust agda-stdlib registration (green the proofs workflow) Language Policy Enforcement #295: Pull request #103 opened by hyperpolymath
20s ci-agda-fix
ci-agda-fix
20s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) Language Policy Enforcement #294: Commit 42b2001 pushed by hyperpolymath
1m 22s main
main
1m 22s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI Language Policy Enforcement #293: Pull request #102 opened by hyperpolymath
10s descriptiles-ci
descriptiles-ci
10s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… Language Policy Enforcement #292: Commit 25d0d3d pushed by hyperpolymath
18s main
main
18s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) Language Policy Enforcement #291: Pull request #101 opened by hyperpolymath
11s worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
11s
feat(proofs): complete CNO + OND pillars, verified across six provers… Language Policy Enforcement #290: Commit 6b591f1 pushed by hyperpolymath
37m 2s main
main
37m 2s
feat(proofs): complete CNO + OND pillars, verified across six provers Language Policy Enforcement #289: Pull request #100 synchronize by hyperpolymath
32m 7s worktree-cno-ond-completion
worktree-cno-ond-completion
32m 7s
feat(proofs): complete CNO + OND pillars, verified across six provers Language Policy Enforcement #288: Pull request #100 synchronize by hyperpolymath
4m 56s worktree-cno-ond-completion
worktree-cno-ond-completion
4m 56s
feat(proofs): complete CNO + OND pillars, verified across six provers Language Policy Enforcement #287: Pull request #100 opened by hyperpolymath
3m 23s worktree-cno-ond-completion
worktree-cno-ond-completion
3m 23s
fix(ci): clear OSSF Scorecard startup_failure (#99) Language Policy Enforcement #286: Commit 1c19d10 pushed by hyperpolymath
38m 0s main
main
38m 0s
fix(ci): clear OSSF Scorecard startup_failure Language Policy Enforcement #285: Pull request #99 opened by hyperpolymath
8s fix/scorecard-caller-startup
fix/scorecard-caller-startup
8s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98) Language Policy Enforcement #284: Commit ec3a141 pushed by hyperpolymath
10s main
main
10s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage Language Policy Enforcement #283: Pull request #98 opened by hyperpolymath
11s ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
11s
Delete license/PMPL-1.0.txt (#97) Language Policy Enforcement #282: Commit 438935d pushed by hyperpolymath
11s main
main
11s
Delete license/PMPL-1.0.txt Language Policy Enforcement #281: Pull request #97 opened by hyperpolymath
11s hyperpolymath-patch-1
hyperpolymath-patch-1
11s
chore(deps): bump the actions group with 6 updates (#96) Language Policy Enforcement #280: Commit 75daa84 pushed by hyperpolymath
11s main
main
11s