.github/workflows/comprehensive-quality.yml

Workflow runs for .github/workflows/comprehensive-quality.yml

• chore(deps): bump actions/upload-artifact from 7.0.1 to 7.0.2 in the …

  failed:
  .github/workflows/comprehensive-quality.yml#102:Commitb873cefpushedbyhyperpolymath
  main

  Oct 15, 2026Failure
  More actions for workflow run 102

• chore(deps): bump actions/upload-artifact

  failed:
  .github/workflows/comprehensive-quality.yml#101:Commit22c0affpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-dc5ed02c9f

  Oct 15, 2026Failure
  More actions for workflow run 101

• ci: restore block YAML until the gates read KYAML (#26)

  failed:
  .github/workflows/comprehensive-quality.yml#100:Commit3fc4aadpushedbyhyperpolymath
  main

  Oct 8, 2026Failure
  More actions for workflow run 100

• ci: restore block YAML until the gates read KYAML

  failed:
  .github/workflows/comprehensive-quality.yml#99:Commit54cd2a4pushedbyhyperpolymath
  chore/workflow-block-yaml

  Oct 8, 2026Failure
  More actions for workflow run 99

• ci: keep block YAML until the gates read KYAML

  failed:
  .github/workflows/comprehensive-quality.yml#98:Commit803956epushedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 2026Failure
  More actions for workflow run 98

• ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#25)

  failed:
  .github/workflows/comprehensive-quality.yml#97:Commit96b6620pushedbyhyperpolymath
  main

  Oct 8, 2026Failure
  More actions for workflow run 97

• ci: remove per-repo Semgrep scan; the Semgrep Code app covers PRs

  failed:
  .github/workflows/comprehensive-quality.yml#96:Commita57d69epushedbyhyperpolymath
  chore/drop-duplicate-semgrep

  Oct 8, 2026Failure
  More actions for workflow run 96

• docs: draft AFFIRMATION at eb8e1d0 (owner signs on merge) (#23)

  failed:
  .github/workflows/comprehensive-quality.yml#95:Commit10fc902pushedbyhyperpolymath
  main

  Oct 7, 2026Failure
  More actions for workflow run 95

• docs(affirmation): AffineScript parse failure is refuted, not inconcl…

  failed:
  .github/workflows/comprehensive-quality.yml#94:Commitcc76dcepushedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 2026Failure
  More actions for workflow run 94

• docs: draft AFFIRMATION at eb8e1d0 for owner signature

  failed:
  .github/workflows/comprehensive-quality.yml#93:Commit6c03172pushedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 2026Failure
  More actions for workflow run 93

• Create EXPLAINME.adoc (#22)

  failed:
  .github/workflows/comprehensive-quality.yml#92:Commiteb8e1d0pushedbyhyperpolymath
  main

  Oct 6, 2026Failure
  More actions for workflow run 92

• Create EXPLAINME.adoc

  failed:
  .github/workflows/comprehensive-quality.yml#91:Commitdf60e12pushedbyhyperpolymath
  hyperpolymath-patch-1

  Oct 6, 2026Failure
  More actions for workflow run 91

• Update README.adoc

  failed:
  .github/workflows/comprehensive-quality.yml#90:Commit92840dcpushedbyhyperpolymath
  main

  Oct 6, 2026Failure
  More actions for workflow run 90

• Update README.adoc

  failed:
  .github/workflows/comprehensive-quality.yml#89:Commitdeab75cpushedbyhyperpolymath
  main

  Oct 6, 2026Failure
  More actions for workflow run 89

• chore(licensing): correct 1000Langs attribution, add Apache-2.0 NOTIC…

  failed:
  .github/workflows/comprehensive-quality.yml#88:Commitc65a377pushedbyhyperpolymath
  main

  Oct 6, 2026Failure
  More actions for workflow run 88

• chore(licensing): correct 1000Langs attribution and add Apache-2.0 no…

  failed:
  .github/workflows/comprehensive-quality.yml#87:Commiteec4dbdpushedbyhyperpolymath
  chore/licence-attribution

  Oct 6, 2026Failure
  More actions for workflow run 87

• Update README.adoc (#20)

  failed:
  .github/workflows/comprehensive-quality.yml#86:Commit0cb776cpushedbyhyperpolymath
  main

  Oct 4, 2026Failure
  More actions for workflow run 86

• Update README.adoc

  failed:
  .github/workflows/comprehensive-quality.yml#85:Commit2eba58bpushedbyhyperpolymath
  hyperpolymath-patch-1

  Oct 4, 2026Failure
  More actions for workflow run 85

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh …

  failed:
  .github/workflows/comprehensive-quality.yml#84:Commitbd32bc5pushedbyhyperpolymath
  main

  Oct 4, 2026Failure
  More actions for workflow run 84

• docs(proofs): record first-green CI evidence in POSTULATE-AUDIT Phase 4

  failed:
  .github/workflows/comprehensive-quality.yml#83:Commit76bda5epushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 83

• fix(proofs): make jsdF where-free and js-symmetric match its unfolding

  failed:
  .github/workflows/comprehensive-quality.yml#82:Commit9a8c900pushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 82

• fix(proofs): register the theorem header as derived — Agda --safe can…

  failed:
  .github/workflows/comprehensive-quality.yml#81:Commit6fa28e9pushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 81

• fix(ci): per-module OPTIONS pragmas govern safety; no command-line --…

  failed:
  .github/workflows/comprehensive-quality.yml#80:Commite9f0c97pushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 80

• fix(proofs): import Data.Fin.Base / Data.Vec.Base instead of the Data…

  failed:
  .github/workflows/comprehensive-quality.yml#79:Commitf68542cpushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 79

• fix(ci): mirror read-only apt stdlib to a writable dir — .agdai rewri…

  failed:
  .github/workflows/comprehensive-quality.yml#78:Commit9e8732dpushedbyhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 78