Rust CI

Workflow runs for Rust CI

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

  failed:
  Rust CI#458:Commit64a47ecpushedbyhyperpolymath
  main

  Oct 23, 20268s
  More actions for workflow run 458

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

  failed:
  Rust CI#457:Pull request#193openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 23, 20268s
  More actions for workflow run 457

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

  failed:
  Rust CI#456:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20267s
  More actions for workflow run 456

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

  failed:
  Rust CI#455:Pull request#191openedbydependabot[bot]Bot
  dependabot/github_actions/actions-90fd21f639

  Oct 16, 20266s
  More actions for workflow run 455

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

  completed successfully:
  Rust CI#454:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 20263m 0s
  More actions for workflow run 454

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

  completed successfully:
  Rust CI#453:Pull request#190openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 20263m 31s
  More actions for workflow run 453

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

  completed successfully:
  Rust CI#452:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 20262m 23s
  More actions for workflow run 452

• docs: an Applications-in-practice section

  completed successfully:
  Rust CI#451:Pull request#189synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 20263m 14s
  More actions for workflow run 451

• docs: an Applications-in-practice section

  completed successfully:
  Rust CI#450:Pull request#189openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 20263m 48s
  More actions for workflow run 450

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

  completed successfully:
  Rust CI#449:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 20262m 34s
  More actions for workflow run 449

• t1-exception-2026-10-12

  completed successfully:
  Rust CI#448:Pull request#188synchronizebycoderabbitai[bot]Bot
  t1-exception-2026-10-12

  Oct 12, 20262m 29s
  More actions for workflow run 448

• t1-exception-2026-10-12

  completed successfully:
  Rust CI#447:Pull request#188synchronizebycoderabbitai[bot]Bot
  t1-exception-2026-10-12

  Oct 12, 20263m 19s
  More actions for workflow run 447

• t1-exception-2026-10-12

  completed successfully:
  Rust CI#446:Pull request#188synchronizebyhyperpolymath
  t1-exception-2026-10-12

  Oct 12, 20263m 37s
  More actions for workflow run 446

• t1-exception-2026-10-12

  completed successfully:
  Rust CI#445:Pull request#188openedbyhyperpolymath
  t1-exception-2026-10-12

  Oct 12, 20263m 12s
  More actions for workflow run 445

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

  completed successfully:
  Rust CI#444:Commit4d5ecbdpushedbyhyperpolymath
  main

  Oct 10, 20263m 9s
  More actions for workflow run 444

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

  completed successfully:
  Rust CI#443:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20263m 13s
  More actions for workflow run 443

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

  completed successfully:
  Rust CI#442:Pull request#187synchronizebycoderabbitai[bot]Bot
  arena/6c682e29-absolute-zero

  Oct 10, 20263m 16s
  More actions for workflow run 442

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

  completed successfully:
  Rust CI#441:Pull request#187openedbyhyperpolymath
  arena/6c682e29-absolute-zero

  Oct 10, 20262m 39s
  More actions for workflow run 441

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

  completed successfully:
  Rust CI#440:Commit6010145pushedbyhyperpolymath
  main

  Oct 9, 20263m 28s
  More actions for workflow run 440

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

  completed successfully:
  Rust CI#439:Pull request#186openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1afb5b2680

  Oct 9, 20262m 23s
  More actions for workflow run 439

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

  completed successfully:
  Rust CI#438:Commit5f27136pushedbyhyperpolymath
  main

  Oct 2, 20262m 30s
  More actions for workflow run 438

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

  completed successfully:
  Rust CI#437:Pull request#185openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 2, 20263m 6s
  More actions for workflow run 437

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

  completed successfully:
  Rust CI#436:Commit27d879fpushedbyhyperpolymath
  main

  Oct 1, 20263m 23s
  More actions for workflow run 436

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

  completed successfully:
  Rust CI#435:Pull request#184synchronizebyhyperpolymath
  docs/citation-author-181

  Oct 1, 20263m 25s
  More actions for workflow run 435

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

  completed successfully:
  Rust CI#434:Commitdba634apushedbyhyperpolymath
  main

  Oct 1, 20263m 23s
  More actions for workflow run 434