Push email notification

Workflow runs for Push email notification

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

  failed at startup:
  Push email notification#40:Commit6656efepushedbyhyperpolymath
  main

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

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

  failed at startup:
  Push email notification#39:Commit75665f4pushedbyhyperpolymath
  ci/secret-scanner-caller-perms

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

• fix(ci): clear OSSF Scorecard startup_failure (#41)

  failed at startup:
  Push email notification#38:Commit0aec31apushedbyhyperpolymath
  ci/secret-scanner-caller-perms

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

• fix(ci): clear OSSF Scorecard startup_failure (#41)

  failed at startup:
  Push email notification#37:Commit0aec31apushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 37

• fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes)

  failed at startup:
  Push email notification#36:Commitc8aec23pushedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 2026Startup failure
  More actions for workflow run 36

• fix(clade): correct identity uuid (deterministic v5) (#40)

  failed at startup:
  Push email notification#35:Commit28091c5pushedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 2026Startup failure
  More actions for workflow run 35

• fix(clade): correct identity uuid (deterministic v5) (#40)

  failed at startup:
  Push email notification#34:Commit28091c5pushedbyhyperpolymath
  main

  Jun 29, 2026Startup failure
  More actions for workflow run 34

• fix(clade): correct identity to deterministic v5 (rsr-template residue)

  failed at startup:
  Push email notification#33:Commit56285a2pushedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 2026Startup failure
  More actions for workflow run 33

• ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia…

  failed at startup:
  Push email notification#32:Commit015295bpushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 32

• style: cargo fmt + clippy --fix to satisfy rust-ci (fmt --check + cli…

  failed at startup:
  Push email notification#31:Commit394febepushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 31

• ci: adopt canonical Julia ABI-FFI gate (estate standard, matches veri…

  failed at startup:
  Push email notification#30:Commitcce3684pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 30

• ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta…

  failed at startup:
  Push email notification#29:Commita43adc8pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 29

• ABI Layer 5: end-to-end soundness capstone certificate (#38)

  failed at startup:
  Push email notification#28:Commit66f3eb5pushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 28

• Merge branch 'main' into claude/new-session-znxgm7

  failed at startup:
  Push email notification#27:Commit686da5dpushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 27

• Add Layer-5 ABI soundness capstone certificate

  failed at startup:
  Push email notification#26:Commit63c7626pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 26

• ABI Layer 4: prove the FFI result-code seam is injective + faithful (…

  failed at startup:
  Push email notification#25:Commit680950dpushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 25

• Merge branch 'main' into claude/new-session-znxgm7

  failed at startup:
  Push email notification#24:Commitdd1d89fpushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 2026Startup failure
  More actions for workflow run 24

• Add Layer 4 ABI<->FFI seam soundness proofs (Ponyiser.ABI.FfiSeam)

  skipped:
  Push email notification#23:Commite8d971dpushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261s
  More actions for workflow run 23

• ABI Layer 3: immutable-aliasing soundness (read-compatibility reflexi…

  skipped:
  Push email notification#22:Commitbf22b35pushedbyhyperpolymath
  main

  Jun 28, 20261s
  More actions for workflow run 22

• Merge branch 'main' into claude/new-session-znxgm7

  skipped:
  Push email notification#21:Commit236c9ebpushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261s
  More actions for workflow run 21

• abi: add Layer-3 invariants (immutable-aliasing soundness + compatibi…

  skipped:
  Push email notification#20:Commit97595e5pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202611s
  More actions for workflow run 20

• abi: prove aliasing-compatibility soundness (Ponyiser.ABI.Semantics) …

  skipped:
  Push email notification#19:Commit3eabf5apushedbyhyperpolymath
  main

  Jun 27, 20261s
  More actions for workflow run 19

• abi: prove aliasing-compatibility soundness (Ponyiser.ABI.Semantics)

  skipped:
  Push email notification#18:Commit4c4ae66pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 27, 20262s
  More actions for workflow run 18

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#34)

  skipped:
  Push email notification#17:Commitcdc772cpushedbyhyperpolymath
  main

  Jun 27, 20261s
  More actions for workflow run 17

• ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464)

  skipped:
  Push email notification#16:Commit5b5c789pushedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261s
  More actions for workflow run 16