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
ci: deploy docs via Ddraig SSG (#114) Push email notification #68: Commit 87902bb pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: mass-deploy Ddraig SSG workflow Push email notification #67: Commit 554326a pushed by hyperpolymath
Startup failure feat/ddraig-pages-mass
feat/ddraig-pages-mass
Startup failure
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… Push email notification #66: Commit dbcf9aa pushed by hyperpolymath
Startup failure main
main
Startup failure
Merge branch 'main' into fix/ci-timeout-minutes-reusable Push email notification #65: Commit c1563ff pushed by hyperpolymath
Startup failure fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
Startup failure
chore(deps): bump the actions group with 2 updates (#113) Push email notification #64: Commit 679b569 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 2 updates Push email notification #63: Commit 69d780a pushed by dependabot Bot
Startup failure dependabot/github_actions/actions-bee62e05c9
dependabot/github_actions/actions-bee62e05c9
Startup failure
fix(ci): drop invalid job-level timeout-minutes from reusable-workflo… Push email notification #62: Commit bb89af2 pushed by hyperpolymath
Startup failure fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
Startup failure
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*… Push email notification #61: Commit 6b2b730 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*… Push email notification #60: Commit b9cc4fa pushed by hyperpolymath
Startup failure claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
Startup failure
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*… Push email notification #59: Commit 75e598a pushed by hyperpolymath
Startup failure claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
Startup failure
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-… Push email notification #58: Commit 1e5c615 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(lean): mirror the A2 reversibility<->CNO bridge (UNVERIFIED — en… Push email notification #57: Commit 6bb8f3b pushed by hyperpolymath
Startup failure claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
Startup failure
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axi… Push email notification #56: Commit c233752 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(coq): prove the reversibility<->CNO bridge MAA cites (A2, zero a… Push email notification #55: Commit 7ff919e pushed by hyperpolymath
Startup failure claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
Startup failure
chore(deps): bump the actions group with 2 updates (#108) Push email notification #54: Commit 3b592a5 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 2 updates Push email notification #53: Commit e9bca05 pushed by dependabot Bot
Startup failure dependabot/github_actions/actions-6872eef3cb
dependabot/github_actions/actions-6872eef3cb
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… Push email notification #52: Commit be5a86f pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: grant Secret Scanner caller the reusable's job permissions Push email notification #51: Commit f59b88d pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) Push email notification #50: Commit 2acfc89 pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): switch to permissionless reusable workflow Push email notification #49: Commit 83713eb pushed by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) Push email notification #48: Commit 2acfc89 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: add reliable Agda job — git-cloned version-matched stdlib Push email notification #47: Commit 90dd1e2 pushed by hyperpolymath
Startup failure ci-agda-stdlib
ci-agda-stdlib
Startup failure
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) Push email notification #46: Commit bf6f1e0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): drop flaky Agda job — keep reliable green Coq + Z3 Push email notification #45: Commit 1f871c3 pushed by hyperpolymath
Startup failure ci-drop-agda
ci-drop-agda
Startup failure
fix(ci): synthesize agda-stdlib manifest (definitive Agda-job fix) Push email notification #44: Commit e9cc72e pushed by hyperpolymath
Startup failure ci-drop-agda
ci-drop-agda
Startup failure