All workflows

Workflow runs

• Merge pull request #1322 from tylrcc/fix/issue-1321

  queued:
  lint#1115:Commit4b6c41epushedbyyakew7
  main

  Nov 11, 2026Queued
  More actions for workflow run 1115

• Merge pull request #1322 from tylrcc/fix/issue-1321

  queued:
  Audits#1239:Commit4b6c41epushedbyyakew7
  main

  Nov 11, 2026Queued
  More actions for workflow run 1239

• Merge pull request #1322 from tylrcc/fix/issue-1321

  queued:
  CodeQL#936:Commit4b6c41epushedbyyakew7
  main

  Nov 11, 2026Queued
  More actions for workflow run 936

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  Benchmark diff#60:Pull request#1322openedbytylrcc
  tylrcc:fix/issue-1321

  Nov 11, 202615s
  More actions for workflow run 60

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  CodeQL#935:Pull request#1322openedbytylrcc
  tylrcc:fix/issue-1321

  Nov 11, 20261m 28s
  More actions for workflow run 935

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  lint#1114:Pull request#1322openedbytylrcc
  tylrcc:fix/issue-1321

  Nov 11, 202626s
  More actions for workflow run 1114

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  Audits#1238:Pull request#1322openedbytylrcc
  tylrcc:fix/issue-1321

  Nov 11, 20265m 0s
  More actions for workflow run 1238

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  PR Review Ping#297:Pull request#1322openedbytylrcc
  Nov 11, 202613s
  More actions for workflow run 297

• Say which Audits job runs the slow tests, and pin it with a test

  completed successfully:
  First Interaction#1274:Pull request#1322openedbytylrcc
  Nov 11, 202610s
  More actions for workflow run 1274

• Update metrics, roadmap and changelog for the sixth tooling sweep

  completed successfully:
  Validate workflow YAML#80:Commit4c449cfpushedbyyakew7
  main

  Nov 11, 202611s
  More actions for workflow run 80

• Update metrics, roadmap and changelog for the sixth tooling sweep

  completed successfully:
  Audits#1237:Commit4c449cfpushedbyyakew7
  main

  Nov 11, 20263m 55s
  More actions for workflow run 1237

• Update metrics, roadmap and changelog for the sixth tooling sweep

  completed successfully:
  lint#1113:Commit4c449cfpushedbyyakew7
  main

  Nov 11, 202619s
  More actions for workflow run 1113

• Update metrics, roadmap and changelog for the sixth tooling sweep

  completed successfully:
  Build Explainers#220:Commit4c449cfpushedbyyakew7
  main

  Nov 11, 202628s
  More actions for workflow run 220

• Update metrics, roadmap and changelog for the sixth tooling sweep

  completed successfully:
  CodeQL#934:Commit4c449cfpushedbyyakew7
  main

  Nov 11, 20261m 28s
  More actions for workflow run 934

• The workflows reference does not say which job runs the slow tests

  completed successfully:
  First Interaction#1273:Issue#1321openedbyyakew7
  Nov 11, 20267s
  More actions for workflow run 1273

• The remaining slow benchmark tests train three model families on real audits for assertions a toy would prove

  completed successfully:
  First Interaction#1272:Issue#1320openedbyyakew7
  Nov 11, 20267s
  More actions for workflow run 1272

• check_contributors.py is a 650-line single file

  completed successfully:
  First Interaction#1271:Issue#1319openedbyyakew7
  Nov 11, 20268s
  More actions for workflow run 1271

• The fast suite still misses 18 lines of benchmark.py

  completed successfully:
  First Interaction#1270:Issue#1318openedbyyakew7
  Nov 11, 20266s
  More actions for workflow run 1270

• Pushing the records to main does not close the weekly report issues until the next Monday

  completed successfully:
  First Interaction#1269:Issue#1317openedbyyakew7
  Nov 11, 202611s
  More actions for workflow run 1269

• check_contributors.py does not notice a pull request whose commits are authored by someone else

  completed successfully:
  First Interaction#1268:Issue#1316openedbyyakew7
  Nov 11, 20268s
  More actions for workflow run 1268

• Contributors vs merged pull requests

  completed successfully:
  Contributors vs merged pull requests#2:Scheduled
  main

  Nov 9, 202618s
  More actions for workflow run 2

• Traction vs GitHub

  completed successfully:
  Traction vs GitHub#2:Scheduled
  main

  Nov 9, 202619s
  More actions for workflow run 2

• External links

  completed successfully:
  External links#3:Scheduled
  main

  Nov 9, 20262m 46s
  More actions for workflow run 3

• Merge pull request #1313 from renuvenugopal178/renuvenugopal178-patch-1

  completed successfully:
  CodeQL#933:Commita2d06capushedbyyakew7
  main

  Nov 9, 20261m 24s
  More actions for workflow run 933

• Merge pull request #1313 from renuvenugopal178/renuvenugopal178-patch-1

  completed successfully:
  Build Explainers#219:Commita2d06capushedbyyakew7
  main

  Nov 9, 202635s
  More actions for workflow run 219