Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Push email notification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-email-notify.yml
This workflow was disabled manually.
68 workflow runs
68 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): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… Push email notification #43: Commit 720e410 pushed by hyperpolymath
-1s main
main
-1s
fix(ci): point Agda at agda-stdlib sources via -i (no .agda-lib on Ub… Push email notification #42: Commit e63968c pushed by hyperpolymath
Startup failure ci-agda-fix2
ci-agda-fix2
Startup failure
fix(ci): robust agda-stdlib registration (green the proofs workflow) … Push email notification #41: Commit 137aaf9 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): robust agda-stdlib registration in proofs.yml Push email notification #40: Commit 0db4cb6 pushed by hyperpolymath
Startup failure ci-agda-fix
ci-agda-fix
Startup failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) Push email notification #39: Commit 42b2001 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI Push email notification #38: Commit 8fbde55 pushed by hyperpolymath
Startup failure descriptiles-ci
descriptiles-ci
Startup failure
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI Push email notification #37: Commit 436411a pushed by hyperpolymath
Startup failure worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
Startup failure
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… Push email notification #36: Commit 25d0d3d pushed by hyperpolymath
Startup failure main
main
Startup failure
docs+ci+bot: complete post-PR#100 hygiene sweep across the estate Push email notification #35: Commit aa8d860 pushed by hyperpolymath
Startup failure worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
Startup failure
feat(proofs): complete CNO + OND pillars, verified across six provers… Push email notification #34: Commit 6b591f1 pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into worktree-cno-ond-completion Push email notification #33: Commit 697f8cc pushed by hyperpolymath
Startup failure worktree-cno-ond-completion
worktree-cno-ond-completion
Startup failure
fix(proofs/mizar): commit required cno.voc vocabulary; disclose eta/r… Push email notification #32: Commit 5ea8015 pushed by hyperpolymath
Startup failure worktree-cno-ond-completion
worktree-cno-ond-completion
Startup failure
feat(proofs): complete CNO + OND pillars, verified across six provers Push email notification #31: Commit bec1115 pushed by hyperpolymath
Startup failure worktree-cno-ond-completion
worktree-cno-ond-completion
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#99) Push email notification #30: Commit 1c19d10 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes) Push email notification #29: Commit f245718 pushed by hyperpolymath
-1s fix/scorecard-caller-startup
fix/scorecard-caller-startup
-1s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98) Push email notification #28: Commit ec3a141 pushed by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98) Push email notification #27: Commit ec3a141 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage Push email notification #26: Commit be06b1d pushed by hyperpolymath
Startup failure ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
Startup failure
Delete license/PMPL-1.0.txt (#97) Push email notification #25: Commit 438935d pushed by hyperpolymath
Startup failure main
main
Startup failure
Delete license/PMPL-1.0.txt Push email notification #24: Commit 60901d8 pushed by hyperpolymath
Startup failure hyperpolymath-patch-1
hyperpolymath-patch-1
Startup failure
chore(deps): bump the actions group with 6 updates (#96) Push email notification #23: Commit 75daa84 pushed by hyperpolymath
Startup failure ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
Startup failure
chore(deps): bump the actions group with 6 updates (#96) Push email notification #22: Commit 75daa84 pushed by hyperpolymath
Startup failure ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
Startup failure
chore(deps): bump the actions group with 6 updates (#96) Push email notification #21: Commit 75daa84 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 6 updates Push email notification #20: Commit 5eddf0b pushed by dependabot Bot
Startup failure dependabot/github_actions/actions-27c433e26c
dependabot/github_actions/actions-27c433e26c
Startup failure
docs(roadmap): right-size to solo-maintainer reality; preserve vision… Push email notification #19: Commit 67ae5a6 pushed by hyperpolymath
Startup failure main
main
Startup failure