Python CI

Workflow runs for Python CI

• Free runner disk before every pool-build restore and lint for it

  completed successfully:
  Python CI#1184:Pull request#764synchronizebyVilin97
  vasil/free-disk-everywhere

  Nov 6, 20262m 2s
  More actions for workflow run 1184

• Free runner disk before every pool-build restore and lint for it

  completed successfully:
  Python CI#1183:Pull request#764openedbyVilin97
  vasil/free-disk-everywhere

  Nov 6, 20261m 39s
  More actions for workflow run 1183

• Fix proof-length counter including unrelated declarations (#712)

  completed successfully:
  Python CI#1182:Commit906301dpushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 20261m 35s
  More actions for workflow run 1182

• Restore the merge queue's build on main after a toolchain bump (#740)

  completed successfully:
  Python CI#1181:Commit6c34d34pushedbygithub-merge-queue[bot]Bot
  main

  Nov 6, 20261m 35s
  More actions for workflow run 1181

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1180:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261m 49s
  More actions for workflow run 1180

• Optimize PLAcceleratedNesterovLean arithmetic proofs and imports

  completed successfully:
  Python CI#1179:Pull request#763openedbyVilin97
  researcher/optimize-nesterov-resume-20261106

  Nov 6, 202622s
  More actions for workflow run 1179

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1178:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261m 59s
  More actions for workflow run 1178

• Make every Lean warning a compile error (warningAsError, like Tau Ceti)

  completed successfully:
  Python CI#1177:Pull request#751synchronizebyVilin97
  vasil/warning-as-error

  Nov 6, 20261m 41s
  More actions for workflow run 1177

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1176:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20263m 49s
  More actions for workflow run 1176

• Python CI

  completed successfully:
  Python CI#1175:Merge group checks requested
  Nov 6, 20263m 11s
  More actions for workflow run 1175

• Python CI

  completed successfully:
  Python CI#1174:Merge group checks requested
  Nov 6, 20262m 43s
  More actions for workflow run 1174

• Python CI

  completed successfully:
  Python CI#1173:Merge group checks requested
  Nov 6, 202627s
  More actions for workflow run 1173

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1172:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20263m 26s
  More actions for workflow run 1172

• Python CI

  completed successfully:
  Python CI#1171:Merge group checks requested
  Nov 6, 20261m 47s
  More actions for workflow run 1171

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1170:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 202627m 0s
  More actions for workflow run 1170

• Python CI

  completed successfully:
  Python CI#1169:Merge group checks requested
  Nov 5, 202638s
  More actions for workflow run 1169

• Python CI

  completed successfully:
  Python CI#1168:Merge group checks requested
  Nov 5, 202628s
  More actions for workflow run 1168

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Python CI#1167:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 5, 20262m 18s
  More actions for workflow run 1167

• Fix proof-length counter including unrelated declarations

  completed successfully:
  Python CI#1166:Pull request#712synchronizebyVilin97
  loefflerd:CI-theorem-lines

  Nov 5, 20261m 40s
  More actions for workflow run 1166

• fix(docs): build Tau Ceti before rendering and free runner disk (#759)

  completed successfully:
  Python CI#1165:Commit56c80a9pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20261m 59s
  More actions for workflow run 1165

• Python CI

  completed successfully:
  Python CI#1164:Merge group checks requested
  Nov 5, 202624s
  More actions for workflow run 1164

• Move weekly profiling operations to lean-pool-automation (#661)

  completed successfully:
  Python CI#1163:Commitc0512ccpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20262m 0s
  More actions for workflow run 1163

• Restore the merge queue's build on main after a toolchain bump

  completed successfully:
  Python CI#1162:Pull request#740synchronizebyVilin97
  vasil/main-reuse-queue-bump-build

  Nov 5, 20261m 42s
  More actions for workflow run 1162

• Python CI

  completed successfully:
  Python CI#1161:Merge group checks requested
  Nov 5, 202651s
  More actions for workflow run 1161

• Python CI

  completed successfully:
  Python CI#1160:Merge group checks requested
  Nov 5, 20262m 42s
  More actions for workflow run 1160