Governance

Workflow runs for Governance

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

  failed:
  Governance#358:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20269s
  More actions for workflow run 358

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

  failed:
  Governance#357:Pull request#193openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20269s
  More actions for workflow run 357

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

  failed:
  Governance#356:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20268s
  More actions for workflow run 356

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

  failed:
  Governance#355:Pull request#191openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 16, 20268s
  More actions for workflow run 355

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  failed:
  Governance#354:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 202634s
  More actions for workflow run 354

• ci+docs: unify the standards pins, close the lock, underscore the archived session id

  failed:
  Governance#353:Pull request#190openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 202634s
  More actions for workflow run 353

• docs: an Applications-in-practice section (#189)

  failed:
  Governance#352:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 202622s
  More actions for workflow run 352

• docs: an Applications-in-practice section

  failed:
  Governance#351:Pull request#189synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 202625s
  More actions for workflow run 351

• docs: an Applications-in-practice section

  failed:
  Governance#350:Pull request#189openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 20261m 15s
  More actions for workflow run 350

• t1-exception-2026-10-12 (#188)

  failed:
  Governance#349:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 202622s
  More actions for workflow run 349

• t1-exception-2026-10-12

  failed:
  Governance#348:Pull request#188synchronizebycoderabbitai[bot]Bot
  t1-exception-2026-10-12

  Oct 12, 202620s
  More actions for workflow run 348

• t1-exception-2026-10-12

  failed:
  Governance#347:Pull request#188synchronizebycoderabbitai[bot]Bot
  t1-exception-2026-10-12

  Oct 12, 202615s
  More actions for workflow run 347

• t1-exception-2026-10-12

  failed:
  Governance#346:Pull request#188synchronizebyhyperpolymath
  t1-exception-2026-10-12

  Oct 12, 202622s
  More actions for workflow run 346

• t1-exception-2026-10-12

  failed:
  Governance#345:Pull request#188openedbyhyperpolymath
  t1-exception-2026-10-12

  Oct 12, 20261m 3s
  More actions for workflow run 345

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit c…

  failed:
  Governance#344:Commit4d5ecbdpushedbyhyperpolymath
  main

  Oct 10, 202623s
  More actions for workflow run 344

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  failed:
  Governance#343:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 202622s
  More actions for workflow run 343

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  failed:
  Governance#342:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 202621s
  More actions for workflow run 342

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit config

  failed:
  Governance#341:Pull request#187openedbyhyperpolymath
  arena/6c682e29-absolute-zero

  Oct 10, 202619s
  More actions for workflow run 341

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  failed:
  Governance#340:Commit6010145pushedbyhyperpolymath
  main

  Oct 9, 202620s
  More actions for workflow run 340

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.0 in the actions group

  failed:
  Governance#339:Pull request#186openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 202619s
  More actions for workflow run 339

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

  failed:
  Governance#338:Commit5f27136pushedbyhyperpolymath
  main

  Oct 2, 202646s
  More actions for workflow run 338

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

  failed:
  Governance#337:Pull request#185openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 2, 202618s
  More actions for workflow run 337

• docs(citation): align CITATIONS.adoc author form with CITATION.cff (#…

  completed successfully:
  Governance#336:Commit27d879fpushedbyhyperpolymath
  main

  Oct 1, 202633s
  More actions for workflow run 336

• docs(citation): align CITATIONS.adoc author form with CITATION.cff

  completed successfully:
  Governance#335:Pull request#184synchronizebyhyperpolymath
  docs/citation-author-181

  Oct 1, 202630s
  More actions for workflow run 335

• chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale …

  completed successfully:
  Governance#334:Commitdba634apushedbyhyperpolymath
  main

  Oct 1, 202627s
  More actions for workflow run 334