All workflows

Workflow runs

• 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

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Cargo Deny#6275:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 202656s
  More actions for workflow run 6275

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Kani CI#14256:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 20261h 55m 17s
  More actions for workflow run 14256

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Kani Format Check#14084:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 20263m 11s
  More actions for workflow run 14084

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Release Bundle#7271:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 202639m 36s
  More actions for workflow run 7271

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Check Std Verification#3234:Pull request#5012openedbyjadhavgaurav
  jadhavgaurav:replace-serde-yaml-5000

  Oct 16, 202613m 48s
  More actions for workflow run 3234

• Replace deprecated serde_yaml with serde-saphyr in compiletest

  completed successfully:
  Kani Extra#5967:Pull request#5012openedbyjadhavgaurav
  Oct 16, 202614s
  More actions for workflow run 5967

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1479:Scheduled
  main

  Oct 16, 20263m 9s
  More actions for workflow run 1479

• Nightly: CBMC Latest

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

  Oct 15, 20261h 53m 19s
  More actions for workflow run 1383

• Nightly: Slow tests

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

  Oct 15, 202649m 0s
  More actions for workflow run 1494

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1478:Scheduled
  main

  Oct 15, 202629m 19s
  More actions for workflow run 1478

• Respect explicit stubs when detecting contract-generation cycles

  completed successfully:
  Kani Format Check#14083:Pull request#5008openedbyKieran-Hulsman
  Kieran-Hulsman:kieran/contract-stub-cycle-fix

  Oct 14, 20262m 45s
  More actions for workflow run 14083