.github/workflows/governance.yml

Workflow runs for .github/workflows/governance.yml

• CNO: pc-driven machine, observable identity, real termination (#199)

  failed:
  .github/workflows/governance.yml#372:Commitffcfed1pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 372

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/governance.yml#371:Pull request#199bycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 371

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/governance.yml#370:Pull request#199bycoderabbitai[bot]Bot
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 370

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/governance.yml#369:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 2026Failure
  More actions for workflow run 369

• CNO: pc-driven machine, observable identity, real termination

  failed:
  .github/workflows/governance.yml#368:Pull request#199byhyperpolymath
  proofs/cno-pc-machine

  Nov 9, 2026-1s
  More actions for workflow run 368

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  failed:
  .github/workflows/governance.yml#367:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 367

• proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real

  failed:
  .github/workflows/governance.yml#366:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 366

• docs(proofs): record what the active Agda CNO/OND terms actually state

  failed:
  .github/workflows/governance.yml#365:Pull request#197byhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 2026Failure
  More actions for workflow run 365

• chore(deps): bump github/codeql-action from 4.39.1 to 4.39.2 in the a…

  failed:
  .github/workflows/governance.yml#364:Commitcbe9ae9pushedbyhyperpolymath
  main

  Nov 7, 2026Failure
  More actions for workflow run 364

• chore(deps): bump github/codeql-action from 4.39.1 to 4.39.2 in the actions group

  failed:
  .github/workflows/governance.yml#363:Pull request#196bydependabot[bot]Bot
  dependabot/github_actions/actions-86b173927e

  Nov 6, 2026Failure
  More actions for workflow run 363

• docs(proof-status): canonical active-vs-archived reconciliation table…

  failed:
  .github/workflows/governance.yml#362:Commit80bb4e2pushedbyhyperpolymath
  main

  Nov 1, 2026Failure
  More actions for workflow run 362

• docs(proof-status): canonical active-vs-archived reconciliation table with estate grades

  failed:
  .github/workflows/governance.yml#361:Pull request#195byhyperpolymath
  arena/1a7659fe-absolute-zero

  Nov 1, 2026Failure
  More actions for workflow run 361

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

  failed:
  .github/workflows/governance.yml#360:Commitbb46232pushedbyhyperpolymath
  main

  Oct 31, 2026Failure
  More actions for workflow run 360

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

  failed:
  .github/workflows/governance.yml#359:Pull request#194bydependabot[bot]Bot
  dependabot/github_actions/actions-ad128ebd5c

  Oct 30, 2026Failure
  More actions for workflow run 359

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  failed:
  .github/workflows/governance.yml#358:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20269s
  More actions for workflow run 358

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  failed:
  .github/workflows/governance.yml#357:Pull request#193openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20269s
  More actions for workflow run 357

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a…

  failed:
  .github/workflows/governance.yml#356:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20268s
  More actions for workflow run 356

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the actions group

  failed:
  .github/workflows/governance.yml#355:Pull request#191openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 16, 20268s
  More actions for workflow run 355

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  failed:
  .github/workflows/governance.yml#354:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 202634s
  More actions for workflow run 354

• ci+docs: unify the standards pins, close the lock, underscore the archived session id

  failed:
  .github/workflows/governance.yml#353:Pull request#190openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 202634s
  More actions for workflow run 353

• docs: an Applications-in-practice section (#189)

  failed:
  .github/workflows/governance.yml#352:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 202622s
  More actions for workflow run 352

• docs: an Applications-in-practice section

  failed:
  .github/workflows/governance.yml#351:Pull request#189synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 202625s
  More actions for workflow run 351

• docs: an Applications-in-practice section

  failed:
  .github/workflows/governance.yml#350:Pull request#189openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 20261m 15s
  More actions for workflow run 350

• t1-exception-2026-10-12 (#188)

  failed:
  .github/workflows/governance.yml#349:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 202622s
  More actions for workflow run 349

• t1-exception-2026-10-12

  failed:
  .github/workflows/governance.yml#348:Pull request#188synchronizebycoderabbitai[bot]Bot
  t1-exception-2026-10-12

  Oct 12, 202620s
  More actions for workflow run 348