All workflows

Workflow runs

• CI Failure Issues

  completed successfully:
  CI Failure Issues#192:completedbyshinghim
  Oct 18, 20267s
  More actions for workflow run 192

• CI Failure Issues

  completed successfully:
  CI Failure Issues#191:completedbyshinghim
  Oct 18, 20267s
  More actions for workflow run 191

• Audit

  completed successfully:
  Audit#4:Scheduled
  master

  Oct 18, 202625s
  More actions for workflow run 4

• Miri

  failed:
  Miri#4:Scheduled
  master

  Oct 18, 20265h 19m 16s
  More actions for workflow run 4

• CI Failure Issues

  completed successfully:
  CI Failure Issues#190:completedbyshinghim
  Oct 18, 20266s
  More actions for workflow run 190

• CI Failure Issues

  completed successfully:
  CI Failure Issues#189:completedbyshinghim
  Oct 18, 20267s
  More actions for workflow run 189

• Fuzz (from scratch)

  completed successfully:
  Fuzz (from scratch)#746:Scheduled
  master

  Oct 18, 202617m 12s
  More actions for workflow run 746

• Fuzz (corpus)

  failed:
  Fuzz (corpus)#4:Scheduled
  master

  Oct 18, 20269m 29s
  More actions for workflow run 4

• CI Failure Issues

  completed successfully:
  CI Failure Issues#188:completedbyshinghim
  Oct 18, 20266s
  More actions for workflow run 188

• Kani CI

  failed:
  Kani CI#745:Scheduled
  master

  Oct 18, 202650s
  More actions for workflow run 745

• Weekly cargo-mutants

  failed:
  Weekly cargo-mutants#106:Scheduled
  master

  Oct 18, 202656m 35s
  More actions for workflow run 106

• Automated nightly rustfmt (2026-10-18)

  requires action with the application:
  Check semver breaks#10:Pull request#62synchronizebygithub-actions[bot]Bot
  create-pull-request/patch

  Oct 18, 2026Action required
  More actions for workflow run 10

• Automated nightly rustfmt (2026-10-18)

  requires action with the application:
  Continuous integration#89:Pull request#62synchronizebygithub-actions[bot]Bot
  create-pull-request/patch

  Oct 18, 2026Action required
  More actions for workflow run 89

• Automated nightly rustfmt (2026-10-18)

  requires action with the application:
  Shellcheck#9:Pull request#62synchronizebygithub-actions[bot]Bot
  create-pull-request/patch

  Oct 18, 2026Action required
  More actions for workflow run 9

• Automated nightly rustfmt (2026-10-18)

  requires action with the application:
  Creusot#2:Pull request#62synchronizebygithub-actions[bot]Bot
  create-pull-request/patch

  Oct 18, 2026Action required
  More actions for workflow run 2

• Nightly rustfmt

  completed successfully:
  Nightly rustfmt#108:Scheduled
  master

  Oct 18, 202651s
  More actions for workflow run 108

• Automated GitHub Actions Security Analysis with zizmor 🌈

  completed successfully:
  Automated GitHub Actions Security Analysis with zizmor 🌈#217:Scheduled
  master

  Oct 18, 202618s
  More actions for workflow run 217

• CI Failure Issues

  completed successfully:
  CI Failure Issues#187:completedbyshinghim
  Oct 17, 20267s
  More actions for workflow run 187

• CI Failure Issues

  completed successfully:
  CI Failure Issues#186:completedbyshinghim
  Oct 17, 20266s
  More actions for workflow run 186

• Audit

  completed successfully:
  Audit#3:Scheduled
  master

  Oct 17, 202625s
  More actions for workflow run 3

• Miri

  failed:
  Miri#3:Scheduled
  master

  Oct 17, 20265h 46m 53s
  More actions for workflow run 3

• CI Failure Issues

  completed successfully:
  CI Failure Issues#185:completedbyshinghim
  Oct 17, 20269s
  More actions for workflow run 185

• CI Failure Issues

  completed successfully:
  CI Failure Issues#184:completedbyshinghim
  Oct 17, 20266s
  More actions for workflow run 184

• Fuzz (from scratch)

  completed successfully:
  Fuzz (from scratch)#745:Scheduled
  master

  Oct 17, 202617m 25s
  More actions for workflow run 745

• Fuzz (corpus)

  failed:
  Fuzz (corpus)#3:Scheduled
  master

  Oct 17, 20269m 49s
  More actions for workflow run 3