Push email notification

Workflow runs for Push email notification

• ci: deploy docs via Ddraig SSG (#114)

  failed at startup:
  Push email notification#68:Commit87902bbpushedbyhyperpolymath
  main

  Jul 19, 2026Startup failure
  More actions for workflow run 68

• ci: mass-deploy Ddraig SSG workflow

  failed at startup:
  Push email notification#67:Commit554326apushedbyhyperpolymath
  feat/ddraig-pages-mass

  Jul 19, 2026Startup failure
  More actions for workflow run 67

• fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p…

  failed at startup:
  Push email notification#66:Commitdbcf9aapushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 66

• Merge branch 'main' into fix/ci-timeout-minutes-reusable

  failed at startup:
  Push email notification#65:Commitc1563ffpushedbyhyperpolymath
  fix/ci-timeout-minutes-reusable

  Jul 17, 2026Startup failure
  More actions for workflow run 65

• chore(deps): bump the actions group with 2 updates (#113)

  failed at startup:
  Push email notification#64:Commit679b569pushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 64

• chore(deps): bump the actions group with 2 updates

  failed at startup:
  Push email notification#63:Commit69d780apushedbydependabot[bot]Bot
  dependabot/github_actions/actions-bee62e05c9

  Jul 17, 2026Startup failure
  More actions for workflow run 63

• fix(ci): drop invalid job-level timeout-minutes from reusable-workflo…

  failed at startup:
  Push email notification#62:Commitbb89af2pushedbyhyperpolymath
  fix/ci-timeout-minutes-reusable

  Jul 17, 2026Startup failure
  More actions for workflow run 62

• docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*…

  failed at startup:
  Push email notification#61:Commit6b2b730pushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 61

• docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*…

  failed at startup:
  Push email notification#60:Commitb9cc4fapushedbyhyperpolymath
  claude/project-scope-planning-8agyox

  Jul 17, 2026Startup failure
  More actions for workflow run 60

• docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*…

  failed at startup:
  Push email notification#59:Commit75e598apushedbyhyperpolymath
  claude/project-scope-planning-8agyox

  Jul 17, 2026Startup failure
  More actions for workflow run 59

• feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-…

  failed at startup:
  Push email notification#58:Commit1e5c615pushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 58

• feat(lean): mirror the A2 reversibility<->CNO bridge (UNVERIFIED — en…

  failed at startup:
  Push email notification#57:Commit6bb8f3bpushedbyhyperpolymath
  claude/project-scope-planning-8agyox

  Jul 17, 2026Startup failure
  More actions for workflow run 57

• feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axi…

  failed at startup:
  Push email notification#56:Commitc233752pushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 56

• feat(coq): prove the reversibility<->CNO bridge MAA cites (A2, zero a…

  failed at startup:
  Push email notification#55:Commit7ff919epushedbyhyperpolymath
  claude/project-scope-planning-8agyox

  Jul 16, 2026Startup failure
  More actions for workflow run 55

• chore(deps): bump the actions group with 2 updates (#108)

  failed at startup:
  Push email notification#54:Commit3b592a5pushedbyhyperpolymath
  main

  Jul 10, 2026Startup failure
  More actions for workflow run 54

• chore(deps): bump the actions group with 2 updates

  failed at startup:
  Push email notification#53:Commite9bca05pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6872eef3cb

  Jul 10, 2026Startup failure
  More actions for workflow run 53

• ci: Secret Scanner caller must grant the reusable's job permissions (…

  failed at startup:
  Push email notification#52:Commitbe5a86fpushedbyhyperpolymath
  main

  Jul 9, 2026Startup failure
  More actions for workflow run 52

• ci: grant Secret Scanner caller the reusable's job permissions

  failed at startup:
  Push email notification#51:Commitf59b88dpushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 2026Startup failure
  More actions for workflow run 51

• ci: add reliable Agda job (version-matched agda-stdlib via git) (#106)

  failed at startup:
  Push email notification#50:Commit2acfc89pushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 2026Startup failure
  More actions for workflow run 50

• fix(ci): switch to permissionless reusable workflow

  failed at startup:
  Push email notification#49:Commit83713ebpushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 7, 2026Startup failure
  More actions for workflow run 49

• ci: add reliable Agda job (version-matched agda-stdlib via git) (#106)

  failed at startup:
  Push email notification#48:Commit2acfc89pushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 48

• ci: add reliable Agda job — git-cloned version-matched stdlib

  failed at startup:
  Push email notification#47:Commit90dd1e2pushedbyhyperpolymath
  ci-agda-stdlib

  Jul 7, 2026Startup failure
  More actions for workflow run 47

• fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105)

  failed at startup:
  Push email notification#46:Commitbf6f1e0pushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 46

• fix(ci): drop flaky Agda job — keep reliable green Coq + Z3

  failed at startup:
  Push email notification#45:Commit1f871c3pushedbyhyperpolymath
  ci-drop-agda

  Jul 7, 2026Startup failure
  More actions for workflow run 45

• fix(ci): synthesize agda-stdlib manifest (definitive Agda-job fix)

  failed at startup:
  Push email notification#44:Commite9cc72epushedbyhyperpolymath
  ci-drop-agda

  Jul 7, 2026Startup failure
  More actions for workflow run 44