CI / required

Workflow runs for CI / required

• Say what verification/proofs/ actually contains (#86)

  failed:
  CI / required#155:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 20262m 49s
  More actions for workflow run 155

• Say what verification/proofs/ actually contains

  failed:
  CI / required#154:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202641m 22s
  More actions for workflow run 154

• Say what verification/proofs/ actually contains

  failed:
  CI / required#153:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202622m 40s
  More actions for workflow run 153

• Say what verification/proofs/ actually contains

  cancelled:
  CI / required#152:Pull request#86openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202616m 58s
  More actions for workflow run 152

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bum…

  failed:
  CI / required#151:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 20261m 12s
  More actions for workflow run 151

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  failed:
  CI / required#150:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 44s
  More actions for workflow run 150

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  failed:
  CI / required#149:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 17s
  More actions for workflow run 149

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  failed:
  CI / required#148:Pull request#85openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20262m 33s
  More actions for workflow run 148

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

  failed:
  CI / required#147:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 20261m 2s
  More actions for workflow run 147

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

  failed:
  CI / required#146:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 20261m 8s
  More actions for workflow run 146

• Phase 0: make the status surfaces true (haec) (#81)

  failed:
  CI / required#145:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 202655s
  More actions for workflow run 145

• Phase 0: make the status surfaces true (haec)

  failed:
  CI / required#144:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 20261m 40s
  More actions for workflow run 144

• Phase 0: make the status surfaces true (haec)

  failed:
  CI / required#143:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20264m 16s
  More actions for workflow run 143

• Phase 0: make the status surfaces true (haec)

  failed:
  CI / required#142:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 20261m 2s
  More actions for workflow run 142

• Phase 0: make the status surfaces true (haec)

  failed:
  CI / required#141:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202657s
  More actions for workflow run 141

• Phase 0: make the status surfaces true (haec)

  failed:
  CI / required#140:Pull request#81openedbyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202659s
  More actions for workflow run 140

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

  failed:
  CI / required#139:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20262m 18s
  More actions for workflow run 139

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

  failed:
  CI / required#138:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 202659s
  More actions for workflow run 138

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

  failed:
  CI / required#137:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 20261m 10s
  More actions for workflow run 137

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

  failed:
  CI / required#136:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 20261m 7s
  More actions for workflow run 136

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

  failed:
  CI / required#135:Commitfaee2f5pushedbyhyperpolymath
  main

  Oct 7, 20261m 13s
  More actions for workflow run 135

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

  failed:
  CI / required#134:Pull request#78openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 7, 202657s
  More actions for workflow run 134

• docs: add Signed commits section to CONTRIBUTING (#76)

  failed:
  CI / required#133:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202613s
  More actions for workflow run 133

• docs: add Signed commits section to CONTRIBUTING

  failed:
  CI / required#132:Pull request#76synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20268s
  More actions for workflow run 132

• ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#77)

  failed:
  CI / required#131:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 20261m 53s
  More actions for workflow run 131