Governance

356 workflow runs

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
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
ci+docs: unify the standards pins, close the lock, underscore the arc…
failed:
Governance#354:Commitb60f227pushedbyhyperpolymath
main
Oct 15, 202634s
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
docs: an Applications-in-practice section (#189)
failed:
Governance#352:Commit4471796pushedbyhyperpolymath
main
Oct 15, 202622s
docs: an Applications-in-practice section
failed:
Governance#351:Pull request#189synchronizebyhyperpolymath
docs/applications-in-practice
Oct 15, 202625s
docs: an Applications-in-practice section
failed:
Governance#350:Pull request#189openedbyhyperpolymath
docs/applications-in-practice
Oct 15, 20261m 15s
t1-exception-2026-10-12 (#188)
failed:
Governance#349:Commitae1b681pushedbyhyperpolymath
main
Oct 12, 202622s
t1-exception-2026-10-12
failed:
Governance#348:Pull request#188synchronizebycoderabbitai[bot]Bot
t1-exception-2026-10-12
Oct 12, 202620s
t1-exception-2026-10-12
failed:
Governance#347:Pull request#188synchronizebycoderabbitai[bot]Bot
t1-exception-2026-10-12
Oct 12, 202615s
t1-exception-2026-10-12
failed:
Governance#346:Pull request#188synchronizebyhyperpolymath
t1-exception-2026-10-12
Oct 12, 202622s
t1-exception-2026-10-12
failed:
Governance#345:Pull request#188openedbyhyperpolymath
t1-exception-2026-10-12
Oct 12, 20261m 3s
Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit c…
failed:
Governance#344:Commit4d5ecbdpushedbyhyperpolymath
main
Oct 10, 202623s
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
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
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
chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…
failed:
Governance#340:Commit6010145pushedbyhyperpolymath
main
Oct 9, 202620s
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
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
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
docs(citation): align CITATIONS.adoc author form with CITATION.cff (#…
completed successfully:
Governance#336:Commit27d879fpushedbyhyperpolymath
main
Oct 1, 202633s
docs(citation): align CITATIONS.adoc author form with CITATION.cff
completed successfully:
Governance#335:Pull request#184synchronizebyhyperpolymath
docs/citation-author-181
Oct 1, 202630s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale …
completed successfully:
Governance#334:Commitdba634apushedbyhyperpolymath
main
Oct 1, 202627s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers
completed successfully:
Governance#333:Pull request#183synchronizebyhyperpolymath
chore/issue-sweep-2026-10-01
Oct 1, 202631s
docs(citation): align CITATIONS.adoc author form with CITATION.cff
completed successfully:
Governance#332:Pull request#184openedbyhyperpolymath
docs/citation-author-181
Oct 1, 202627s