All workflows

Workflow runs

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

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

  Nov 9, 2026Failure
  More actions for workflow run 281

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

  failed:
  .github/workflows/rust-ci.yml#467:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 467

• 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/secret-scanner.yml#417:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 417

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

  completed successfully:
  Proofs#73:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202627m 37s
  More actions for workflow run 73

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

  completed successfully:
  ClusterFuzzLite PR fuzzing#226:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202633m 0s
  More actions for workflow run 226

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

  completed successfully:
  Language Policy Enforcement#493:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202626m 14s
  More actions for workflow run 493

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

  cancelled:
  CodeQL Security Analysis#409:Pull request#198openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202628m 50s
  More actions for workflow run 409

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

  failed:
  .github/workflows/hypatia-scan.yml#434:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 434

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

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

  Nov 9, 2026Failure
  More actions for workflow run 280

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

  failed:
  .github/workflows/secret-scanner.yml#416:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 416

• 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

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

  failed:
  .github/workflows/rust-ci.yml#466:Pull request#198byhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 2026Failure
  More actions for workflow run 466

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

  completed successfully:
  Language Policy Enforcement#492:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202613m 55s
  More actions for workflow run 492

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

  completed successfully:
  Proofs#72:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202615m 16s
  More actions for workflow run 72

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

  completed successfully:
  CodeQL Security Analysis#408:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202615m 10s
  More actions for workflow run 408

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

  completed successfully:
  ClusterFuzzLite PR fuzzing#225:Pull request#197openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202619m 49s
  More actions for workflow run 225

• 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

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

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

  Nov 9, 2026Failure
  More actions for workflow run 279

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

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

  Nov 9, 2026Failure
  More actions for workflow run 433

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

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

  Nov 9, 2026Failure
  More actions for workflow run 415

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

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

  Nov 9, 2026Failure
  More actions for workflow run 465

• .github/workflows/scorecard.yml

  failed:
  .github/workflows/scorecard.yml#278:Scheduled
  main

  Nov 9, 2026Failure
  More actions for workflow run 278

• ClusterFuzzLite batch fuzzing

  cancelled:
  ClusterFuzzLite batch fuzzing#30:Scheduled
  main

  Nov 8, 202615m 6s
  More actions for workflow run 30

• .github/workflows/hypatia-scan.yml

  failed:
  .github/workflows/hypatia-scan.yml#432:Scheduled
  main

  Nov 8, 2026Failure
  More actions for workflow run 432