CI Integrity

Workflow runs for CI Integrity

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…

  completed successfully:
  CI Integrity#161:Commit36f1055pushedbyhyperpolymath
  main

  Nov 10, 20262m 37s
  More actions for workflow run 161

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  CI Integrity#160:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 10, 20262m 22s
  More actions for workflow run 160

• feat(publish): prototype generation-directory publish (not wired), wi…

  completed successfully:
  CI Integrity#159:Commitd4a68edpushedbyhyperpolymath
  main

  Nov 9, 20261m 16s
  More actions for workflow run 159

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  CI Integrity#158:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202656s
  More actions for workflow run 158

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…

  completed successfully:
  CI Integrity#157:Commite12b823pushedbyhyperpolymath
  main

  Nov 9, 202654s
  More actions for workflow run 157

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  completed successfully:
  CI Integrity#156:Pull request#281synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20261m 47s
  More actions for workflow run 156

• fix(assail): refuse an unwritable KYAML copy or sidecar before replac…

  completed successfully:
  CI Integrity#155:Commit671c3a9pushedbyhyperpolymath
  main

  Nov 9, 20262m 13s
  More actions for workflow run 155

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  completed successfully:
  CI Integrity#154:Pull request#274synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 202653s
  More actions for workflow run 154

• fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)

  completed successfully:
  CI Integrity#153:Commit39db4e3pushedbyhyperpolymath
  main

  Nov 9, 202645s
  More actions for workflow run 153

• chore(deps): bump the actions group across 1 directory with 4 updates

  completed successfully:
  CI Integrity#152:Pull request#284openedbydependabot[bot]Bot
  dependabot/github_actions/actions-bfe1b08dbd

  Nov 9, 20261m 18s
  More actions for workflow run 152

• feat(assail): route languages through a tested table; retire the vacuous PA1

  completed successfully:
  CI Integrity#151:Pull request#282openedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 202641m 40s
  More actions for workflow run 151

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  CI Integrity#150:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202640m 12s
  More actions for workflow run 150

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  CI Integrity#149:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202638m 29s
  More actions for workflow run 149

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  cancelled:
  CI Integrity#148:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202636m 23s
  More actions for workflow run 148

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  cancelled:
  CI Integrity#147:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202636m 24s
  More actions for workflow run 147

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  completed successfully:
  CI Integrity#146:Pull request#281openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 202641m 17s
  More actions for workflow run 146

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  CI Integrity#145:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202634m 17s
  More actions for workflow run 145

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  CI Integrity#144:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202632m 22s
  More actions for workflow run 144

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  CI Integrity#143:Pull request#279openedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202630m 43s
  More actions for workflow run 143

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  cancelled:
  CI Integrity#142:Pull request#278openedbyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202610m 6s
  More actions for workflow run 142

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  CI Integrity#141:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202628m 24s
  More actions for workflow run 141

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  CI Integrity#140:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202615m 14s
  More actions for workflow run 140

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  CI Integrity#139:Pull request#275openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202612m 23s
  More actions for workflow run 139

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  completed successfully:
  CI Integrity#138:Pull request#274openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 202610m 49s
  More actions for workflow run 138

• fix(deps): move futures-util to 0.3.34, dropping pin-utils

  completed successfully:
  CI Integrity#137:Pull request#273openedbyhyperpolymath
  claude/futures-util-drop-pin-utils

  Nov 9, 202610m 19s
  More actions for workflow run 137