All workflows

Workflow runs

• Running Copilot Code Review

  completed successfully:
  Copilot#168:byCopilotAI
  main

  Oct 18, 20261m 27s

• Nightly: CBMC Latest

  completed successfully:
  Nightly: CBMC Latest#1386:Scheduled
  main

  Oct 18, 20263h 2m 47s
  More actions for workflow run 1386

• Nightly: Slow tests

  completed successfully:
  Nightly: Slow tests#1497:Scheduled
  main

  Oct 18, 20261h 41m 15s
  More actions for workflow run 1497

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1481:Scheduled
  main

  Oct 18, 20263m 53s
  More actions for workflow run 1481

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  skipped:
  Kani Benchmarks#693:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 20263s
  More actions for workflow run 693

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  completed successfully:
  Cargo Deny#6277:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 20261m 7s
  More actions for workflow run 6277

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  failed:
  Kani CI#14258:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 202645m 40s
  More actions for workflow run 14258

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  failed:
  Release Bundle#7273:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 20261h 26m 10s
  More actions for workflow run 7273

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  failed:
  Check Std Verification#3236:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 202626m 23s
  More actions for workflow run 3236

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  completed successfully:
  Kani Extra#5969:Pull request#5031openedbyjadenfix
  Oct 17, 202611s
  More actions for workflow run 5969

• Run each harness as its own rayon job so -j N workers do not idle at the end of a run

  completed successfully:
  Kani Format Check#14086:Pull request#5031openedbyjadenfix
  jadenfix:harness-runner-max-len

  Oct 17, 20263m 0s
  More actions for workflow run 14086

• Nightly: CBMC Latest

  completed successfully:
  Nightly: CBMC Latest#1385:Scheduled
  main

  Oct 17, 20262h 24m 4s
  More actions for workflow run 1385

• Nightly: Slow tests

  completed successfully:
  Nightly: Slow tests#1496:Scheduled
  main

  Oct 17, 20261h 48m 37s
  More actions for workflow run 1496

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1480:Scheduled
  main

  Oct 17, 20262m 31s
  More actions for workflow run 1480

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani Format Check#14085:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 14085

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Release Bundle#7272:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 7272

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani Benchmarks#692:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 692

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Cargo Deny#6276:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 6276

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani CI#14257:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 14257

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Check Std Verification#3235:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Oct 16, 2026Action required
  More actions for workflow run 3235

• Move an owned receiver into the replace closure so const fns with contracts compile

  completed successfully:
  Kani Extra#5968:Pull request#4985synchronizebykasimte
  Oct 16, 202618s
  More actions for workflow run 5968

• Nightly: CBMC Latest

  completed successfully:
  Nightly: CBMC Latest#1384:Scheduled
  main

  Oct 16, 20261h 59m 55s
  More actions for workflow run 1384

• Running Copilot Code Review

  completed successfully:
  Copilot#167:byCopilotAI
  main

  Oct 16, 20261m 33s

• Nightly: Slow tests

  completed successfully:
  Nightly: Slow tests#1495:Scheduled
  main

  Oct 16, 202633m 28s
  More actions for workflow run 1495

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  skipped:
  Kani Benchmarks#691:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 20263s
  More actions for workflow run 691