Push email notification

Workflow runs for Push email notification

• build(deps): bump the actions group with 3 updates (#351)

  skipped:
  Push email notification#75:Commit52bb739pushedbyhyperpolymath
  main

  Jul 17, 20261s
  More actions for workflow run 75

• build(deps): bump the actions group with 3 updates

  skipped:
  Push email notification#74:Commit7361f17pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-cd4e3ebe7a

  Jul 17, 20261s
  More actions for workflow run 74

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

  skipped:
  Push email notification#73:Commite8d6d54pushedbyhyperpolymath
  main

  Jul 9, 20261s
  More actions for workflow run 73

• Merge branch 'main' into ci/secret-scanner-caller-perms

  skipped:
  Push email notification#72:Commitb7c0d17pushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 20261s
  More actions for workflow run 72

• build(deps): bump the actions group with 2 updates (#349)

  skipped:
  Push email notification#71:Commit0cfa994pushedbyhyperpolymath
  main

  Jul 9, 20267s
  More actions for workflow run 71

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

  skipped:
  Push email notification#70:Commit8b796cdpushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 20268s
  More actions for workflow run 70

• test(seam): cross-verifier conformance for the access-sites carrier (…

  skipped:
  Push email notification#69:Commitb5d49a7pushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 2026Skipped
  More actions for workflow run 69

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

  skipped:
  Push email notification#68:Commit2062790pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6872eef3cb

  Jul 9, 20261s
  More actions for workflow run 68

• test(seam): cross-verifier conformance for the access-sites carrier (…

  skipped:
  Push email notification#67:Commitb5d49a7pushedbyhyperpolymath
  main

  Jul 7, 20261s
  More actions for workflow run 67

• test(seam): cross-verifier conformance for the access-sites carrier (…

  skipped:
  Push email notification#66:Commit3a33e51pushedbyhyperpolymath
  test/access-sites-seam-conformance

  Jul 7, 20262s
  More actions for workflow run 66

• feat(codegen): emit typedwasm.regions + access-sites carriers (closes…

  skipped:
  Push email notification#65:Commitfc32791pushedbyhyperpolymath
  main

  Jul 7, 20261s
  More actions for workflow run 65

• feat(codegen): emit typedwasm.regions + typedwasm.access-sites carrie…

  skipped:
  Push email notification#64:Commitbd93e0apushedbyhyperpolymath
  feat/access-sites-carrier

  Jul 7, 20261s
  More actions for workflow run 64

• feat(modules): stdlib import search path — 'import Argv' works from a…

  skipped:
  Push email notification#63:Commit02865d1pushedbyhyperpolymath
  main

  Jul 7, 20269s
  More actions for workflow run 63

• feat(modules): stdlib import search path — 'import Argv' now works fr…

  skipped:
  Push email notification#62:Commite9ef1a9pushedbyhyperpolymath
  feat/stdlib-import-search-path

  Jul 7, 20261s
  More actions for workflow run 62

• proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…

  skipped:
  Push email notification#61:Commit22e278epushedbyhyperpolymath
  main

  Jul 7, 20261s
  More actions for workflow run 61

• proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…

  skipped:
  Push email notification#60:Commit36bf8c6pushedbyhyperpolymath
  proof/preservation-l1-counterexample

  Jul 6, 20261s
  More actions for workflow run 60

• test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…

  skipped:
  Push email notification#59:Commit92cd278pushedbyhyperpolymath
  main

  Jul 6, 20261s
  More actions for workflow run 59

• test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…

  skipped:
  Push email notification#58:Commit503cb20pushedbyhyperpolymath
  feat/eph-corpus-gate

  Jul 6, 20261s
  More actions for workflow run 58

• proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …

  skipped:
  Push email notification#57:Commit84a7bdcpushedbyhyperpolymath
  main

  Jul 6, 202611s
  More actions for workflow run 57

• proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …

  skipped:
  Push email notification#56:Commit7e5f6dcpushedbyhyperpolymath
  proof/steppop-counterexample

  Jul 6, 20268s
  More actions for workflow run 56

• chore(hygiene): purge committed build artifacts + fix Secret Scanner …

  skipped:
  Push email notification#55:Commitb2ee89epushedbyhyperpolymath
  main

  Jul 6, 20261s
  More actions for workflow run 55

• chore(hygiene): purge committed build artifacts + fix Secret Scanner …

  skipped:
  Push email notification#54:Commit1cae6fdpushedbyhyperpolymath
  chore/hygiene-zig-cache-ocaml-artifacts

  Jul 6, 20261s
  More actions for workflow run 54

• fix(idris2): make the dyadic parse front-end actually compile + gate …

  skipped:
  Push email notification#53:Commitd2bd75fpushedbyhyperpolymath
  main

  Jul 6, 20261s
  More actions for workflow run 53

• fix(idris2): make the dyadic parse front-end actually compile + gate …

  skipped:
  Push email notification#52:Commit249b129pushedbyhyperpolymath
  worktree-health-check-idris2-headers

  Jul 6, 20268s
  More actions for workflow run 52

• brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (…

  skipped:
  Push email notification#51:Commit632910bpushedbyhyperpolymath
  main

  Jul 5, 20261s
  More actions for workflow run 51