Skip to content

Actions: hyperpolymath/absolute-zero

Actions

.github/workflows/mirror.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
145 workflow runs
145 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
chore(deps): bump the actions group with 2 updates (#108) .github/workflows/mirror.yml #145: Commit 3b592a5 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 2 updates .github/workflows/mirror.yml #144: Commit e9bca05 pushed by dependabot Bot
Failure dependabot/github_actions/actions-6872eef3cb
dependabot/github_actions/actions-6872eef3cb
Failure
ci: Secret Scanner caller must grant the reusable's job permissions (… .github/workflows/mirror.yml #143: Commit be5a86f pushed by hyperpolymath
Failure main
main
Failure
ci: grant Secret Scanner caller the reusable's job permissions .github/workflows/mirror.yml #142: Commit f59b88d pushed by hyperpolymath
Failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Failure
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) .github/workflows/mirror.yml #141: Commit 2acfc89 pushed by hyperpolymath
Failure main
main
Failure
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) .github/workflows/mirror.yml #140: Commit 2acfc89 pushed by hyperpolymath
Failure main
main
Failure
ci: add reliable Agda job — git-cloned version-matched stdlib .github/workflows/mirror.yml #139: Commit 90dd1e2 pushed by hyperpolymath
Failure ci-agda-stdlib
ci-agda-stdlib
Failure
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) .github/workflows/mirror.yml #138: Commit bf6f1e0 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): drop flaky Agda job — keep reliable green Coq + Z3 .github/workflows/mirror.yml #137: Commit 1f871c3 pushed by hyperpolymath
Failure ci-drop-agda
ci-drop-agda
Failure
fix(ci): synthesize agda-stdlib manifest (definitive Agda-job fix) .github/workflows/mirror.yml #136: Commit e9cc72e pushed by hyperpolymath
Failure ci-drop-agda
ci-drop-agda
Failure
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… .github/workflows/mirror.yml #135: Commit 720e410 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): point Agda at agda-stdlib sources via -i (no .agda-lib on Ub… .github/workflows/mirror.yml #134: Commit e63968c pushed by hyperpolymath
Failure ci-agda-fix2
ci-agda-fix2
Failure
fix(ci): robust agda-stdlib registration (green the proofs workflow) … .github/workflows/mirror.yml #133: Commit 137aaf9 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): robust agda-stdlib registration in proofs.yml .github/workflows/mirror.yml #132: Commit 0db4cb6 pushed by hyperpolymath
Failure ci-agda-fix
ci-agda-fix
Failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) .github/workflows/mirror.yml #131: Commit 42b2001 pushed by hyperpolymath
Failure main
main
Failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI .github/workflows/mirror.yml #130: Commit 8fbde55 pushed by hyperpolymath
Failure descriptiles-ci
descriptiles-ci
Failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI .github/workflows/mirror.yml #129: Commit 436411a pushed by hyperpolymath
Failure worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
Failure
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… .github/workflows/mirror.yml #128: Commit 25d0d3d pushed by hyperpolymath
Failure main
main
Failure
docs+ci+bot: complete post-PR#100 hygiene sweep across the estate .github/workflows/mirror.yml #127: Commit aa8d860 pushed by hyperpolymath
Failure worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
Failure
feat(proofs): complete CNO + OND pillars, verified across six provers… .github/workflows/mirror.yml #126: Commit 6b591f1 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into worktree-cno-ond-completion .github/workflows/mirror.yml #125: Commit 697f8cc pushed by hyperpolymath
Failure worktree-cno-ond-completion
worktree-cno-ond-completion
Failure
fix(proofs/mizar): commit required cno.voc vocabulary; disclose eta/r… .github/workflows/mirror.yml #124: Commit 5ea8015 pushed by hyperpolymath
Failure worktree-cno-ond-completion
worktree-cno-ond-completion
Failure
feat(proofs): complete CNO + OND pillars, verified across six provers .github/workflows/mirror.yml #123: Commit bec1115 pushed by hyperpolymath
Failure worktree-cno-ond-completion
worktree-cno-ond-completion
Failure
fix(ci): clear OSSF Scorecard startup_failure (#99) .github/workflows/mirror.yml #122: Commit 1c19d10 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) .github/workflows/mirror.yml #121: Commit f245718 pushed by hyperpolymath
Failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Failure