.github/workflows/release.yml

Workflow runs for .github/workflows/release.yml

• chore(deps): bump the actions group with 3 updates (#140)

  failed:
  .github/workflows/release.yml#115:Commit5b10cb0pushedbyhyperpolymath
  main

  Nov 9, 2026Failure
  More actions for workflow run 115

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

  failed:
  .github/workflows/release.yml#114:Commit708eadcpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-4f755faa39

  Nov 9, 2026Failure
  More actions for workflow run 114

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…

  failed:
  .github/workflows/release.yml#113:Commite08dd3apushedbyhyperpolymath
  main

  Nov 2, 2026Failure
  More actions for workflow run 113

• chore(deps): bump hyperpolymath/smtp-notify-action

  failed:
  .github/workflows/release.yml#112:Commit1769feepushedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 2, 2026Failure
  More actions for workflow run 112

• docs(proofs): inventory Agda-first reconciliation without retiring Id…

  failed:
  .github/workflows/release.yml#111:Commit6b210dcpushedbyhyperpolymath
  main

  Nov 2, 2026Failure
  More actions for workflow run 111

• Clarify VCL-UT level claims and proof scope (#138)

  failed:
  .github/workflows/release.yml#110:Commit0eac9fcpushedbyhyperpolymath
  main

  Nov 1, 2026Failure
  More actions for workflow run 110

• Clarify runtime L10 and cardinality bounds

  failed:
  .github/workflows/release.yml#109:Commit68eb692pushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 109

• Document transition verdict contract and L10 detector scope

  failed:
  .github/workflows/release.yml#108:Commita903bedpushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 108

• Narrow injection and upper-level predicate claims

  failed:
  .github/workflows/release.yml#107:Commit28693d4pushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 107

• Align level documentation with implemented predicates

  failed:
  .github/workflows/release.yml#106:Commit5ad2372pushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 106

• Clarify AST predicates and dependency claims

  failed:
  .github/workflows/release.yml#105:Commitd3e5191pushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026-1s
  More actions for workflow run 105

• Address review feedback on level claims

  failed:
  .github/workflows/release.yml#104:Commit7c77eb2pushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 104

• docs: audit VCL levels and plan Agda proof port

  failed:
  .github/workflows/release.yml#103:Commit69e710dpushedbyhyperpolymath
  arena/aed4129e-vcl-ut

  Nov 1, 2026Failure
  More actions for workflow run 103

• docs(proofs): inventory Agda migration without overclaiming in vcl-ut

  failed:
  .github/workflows/release.yml#102:Commit4a2ca0fpushedbyhyperpolymath
  proofs/agda-reconciliation-policy-2026-11

  Nov 1, 2026Failure
  More actions for workflow run 102

• docs(research): distinguish gate levels and explore identity across r…

  failed:
  .github/workflows/release.yml#101:Commit002b654pushedbyhyperpolymath
  main

  Nov 1, 2026Failure
  More actions for workflow run 101

• docs(research): distinguish gate levels and explore identity across r…

  failed:
  .github/workflows/release.yml#100:Commit002b654pushedbyhyperpolymath
  main

  Oct 29, 2026Failure
  More actions for workflow run 100

• Merge branch 'main' into docs/kategoria-open-ended-type-programme

  failed:
  .github/workflows/release.yml#99:Commit8140913pushedbyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 2026Failure
  More actions for workflow run 99

• fix(governance): relocate canonical STATE with all live consumers (Hy…

  failed:
  .github/workflows/release.yml#98:Commit591e6f3pushedbyhyperpolymath
  main

  Oct 29, 2026Failure
  More actions for workflow run 98

• docs(research): add synchronic/diachronic identity probes without pre…

  failed:
  .github/workflows/release.yml#97:Commit245e7f8pushedbyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 2026Failure
  More actions for workflow run 97

• docs(recon): link independent type-trope identity-spaces programme

  failed:
  .github/workflows/release.yml#96:Commit39f9acepushedbyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 2026Failure
  More actions for workflow run 96

• docs(research): frame multi-space identity and type/trope distinction…

  failed:
  .github/workflows/release.yml#95:Commiteba1254pushedbyhyperpolymath
  docs/kategoria-open-ended-type-programme

  Oct 29, 2026Failure
  More actions for workflow run 95

• fix(ci): cancel superseded PR backend runs without dropping main evid…

  failed:
  .github/workflows/release.yml#94:Commit8f3692bpushedbyhyperpolymath
  fix/state-descriptile-coordinated-20261029

  Oct 29, 2026Failure
  More actions for workflow run 94

• fix(ci): cancel superseded PR backend runs without dropping main evid…

  failed:
  .github/workflows/release.yml#93:Commitce72e63pushedbyhyperpolymath
  fix/backend-matrix-honest-wiremock-20261029

  Oct 29, 2026Failure
  More actions for workflow run 93

• fix(ci): replace redundant per-prover matrix with genuine transport gate

  failed:
  .github/workflows/release.yml#92:Commit40cb09dpushedbyhyperpolymath
  fix/state-descriptile-coordinated-20261029

  Oct 29, 2026Failure
  More actions for workflow run 92

• docs(governance): align STATE layout and sample with validation

  failed:
  .github/workflows/release.yml#91:Commitb4025cbpushedbyhyperpolymath
  fix/state-descriptile-coordinated-20261029

  Oct 29, 2026Failure
  More actions for workflow run 91