.github/workflows/e2e.yml

Workflow runs for .github/workflows/e2e.yml

• fix(ci): add required permissions for reusable workflows (Bug B)

  failed:
  .github/workflows/e2e.yml#159:Commit7116fb8pushedbyhyperpolymath
  fix/ci-426-batch2

  Aug 13, 2026Failure
  More actions for workflow run 159

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…

  failed:
  .github/workflows/e2e.yml#158:Commit66880f2pushedbyhyperpolymath
  fix/ci-426-batch13

  Aug 13, 2026Failure
  More actions for workflow run 158

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…

  failed:
  .github/workflows/e2e.yml#157:Commit942dff2pushedbyhyperpolymath
  fix/ci-426-batch11

  Aug 13, 2026Failure
  More actions for workflow run 157

• fix(ci): remove erroneous squisher-corpus guix.scm placeholder

  failed:
  .github/workflows/e2e.yml#156:Commit2bc3ff5pushedbyhyperpolymath
  fix/ci-426-squisher-cleanup

  Aug 13, 2026Failure
  More actions for workflow run 156

• fix(ci): the BoJ trigger has never been a valid workflow

  failed:
  .github/workflows/e2e.yml#155:Commit718df72pushedbyhyperpolymath
  fix/gates-that-cannot-fail

  Aug 5, 2026Failure
  More actions for workflow run 155

• fix(lockfile): repair the trufflehog removal — it corrupted the entry…

  failed:
  .github/workflows/e2e.yml#154:Commit5a183c1pushedbyhyperpolymath
  fix/gates-that-cannot-fail

  Aug 5, 2026Failure
  More actions for workflow run 154

• fix(gates): drop the leftover trufflehog step — the estate already re…

  failed:
  .github/workflows/e2e.yml#153:Commite366021pushedbyhyperpolymath
  fix/gates-that-cannot-fail

  Aug 5, 2026Failure
  More actions for workflow run 153

• fix(canaries): assemble the wrong fixtures at runtime, not in the file

  failed:
  .github/workflows/e2e.yml#152:Commitbbac060pushedbyhyperpolymath
  fix/gates-that-cannot-fail

  Aug 5, 2026Failure
  More actions for workflow run 152

• fix(gates): make the red gates able to fail, and prove it

  failed:
  .github/workflows/e2e.yml#151:Commit0d8516epushedbyhyperpolymath
  fix/gates-that-cannot-fail

  Aug 5, 2026Failure
  More actions for workflow run 151

• fix(ci): wrapper permission union + standards re-pin to bd0df9e (post…

  failed:
  .github/workflows/e2e.yml#150:Commit190f1b9pushedbyhyperpolymath
  main

  Aug 4, 2026Failure
  More actions for workflow run 150

• fix(ci): remove rsr-antipattern.yml — its standards reusable does not…

  failed:
  .github/workflows/e2e.yml#149:Commitb191524pushedbyhyperpolymath
  ci/actions-lockfile

  Aug 4, 2026Failure
  More actions for workflow run 149

• fix(ci): grant wrappers the permission union their reusables demand

  failed:
  .github/workflows/e2e.yml#148:Commit6ff802cpushedbyhyperpolymath
  ci/actions-lockfile

  Aug 4, 2026Failure
  More actions for workflow run 148

• fix(ci): grant wrappers the permission union their reusables demand

  failed:
  .github/workflows/e2e.yml#147:Commit2508979pushedbyhyperpolymath
  ci/actions-lockfile

  Aug 4, 2026Failure
  More actions for workflow run 147

• fix(ci): bump standards re-pin to bd0df9e (lockfile-aware governance …

  failed:
  .github/workflows/e2e.yml#146:Commit5a8f16fpushedbyhyperpolymath
  ci/actions-lockfile

  Aug 4, 2026Failure
  More actions for workflow run 146

• fix(ci): adopt Actions dependency lockfile (estate startup_failure re…

  failed:
  .github/workflows/e2e.yml#145:Commit7c23178pushedbyhyperpolymath
  main

  Aug 4, 2026Failure
  More actions for workflow run 145

• fix(ci): adopt Actions dependency lockfile (estate startup_failure re…

  failed:
  .github/workflows/e2e.yml#144:Commit118d666pushedbyhyperpolymath
  ci/actions-lockfile

  Aug 4, 2026Failure
  More actions for workflow run 144

• chore(deps): bump the actions group with 4 updates (#61)

  failed:
  .github/workflows/e2e.yml#143:Commitbe816d7pushedbyhyperpolymath
  main

  Aug 3, 2026Failure
  More actions for workflow run 143

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

  failed:
  .github/workflows/e2e.yml#142:Commit24ca42fpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-c454f47421

  Aug 3, 2026Failure
  More actions for workflow run 142

• feat(ci): gate the Lean builds — the Mathlib cache makes it tractable…

  failed:
  .github/workflows/e2e.yml#141:Commit50e247epushedbyhyperpolymath
  main

  Aug 3, 2026Failure
  More actions for workflow run 141

• Merge branch 'main' into fix/lean-build-gate

  failed:
  .github/workflows/e2e.yml#140:Commit38a42d8pushedbyhyperpolymath
  fix/lean-build-gate

  Aug 3, 2026Failure
  More actions for workflow run 140

• feat(ci): gate the Lean builds — the Mathlib cache makes it tractable

  failed:
  .github/workflows/e2e.yml#139:Commit10a048epushedbyhyperpolymath
  fix/lean-build-gate

  Aug 3, 2026Failure
  More actions for workflow run 139

• fix(ci): register the Agda standard library so the Theorem B gate can…

  failed:
  .github/workflows/e2e.yml#138:Commitc7993efpushedbyhyperpolymath
  main

  Aug 3, 2026Failure
  More actions for workflow run 138

• probe: temporary zero-action workflow to diagnose repo-wide startup_f…

  failed:
  .github/workflows/e2e.yml#137:Commit1a41279pushedbyhyperpolymath
  probe/startup-failure-diagnosis

  Aug 3, 2026Failure
  More actions for workflow run 137

• fix(ci): register the Agda standard library so the Theorem B gate can…

  failed:
  .github/workflows/e2e.yml#136:Commit532ffd9pushedbyhyperpolymath
  fix/agda-stdlib-registration

  Aug 3, 2026Failure
  More actions for workflow run 136

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#54)

  failed:
  .github/workflows/e2e.yml#135:Commitf3e6d36pushedbyhyperpolymath
  main

  Aug 2, 2026Failure
  More actions for workflow run 135