Kani Format Check

Workflow runs for Kani Format Check

• 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

• 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

• 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

• Resolve trait-object type arguments in contract target paths

  requires action with the application:
  Kani Format Check#14082:Pull request#4986synchronizebykasimte
  kasimte:trait-object-path-args

  Oct 14, 2026Action required
  More actions for workflow run 14082

• Fix seven compiler crashes found by @nuczyc

  completed successfully:
  Kani Format Check#14081:Pull request#5006openedbyfeliperodri
  feliperodri:fix-poc-crashes

  Oct 14, 20262m 53s
  More actions for workflow run 14081

• Don't ICE when rustc changes the return type of catch_unwind

  completed successfully:
  Kani Format Check#14080:Pull request#4996synchronizebyfeliperodri
  paulocsanz:rfc0475-catch-unwind-sig-drift

  Oct 14, 20262m 19s
  More actions for workflow run 14080

• Don't copy loop-body declaration groups to the loop head when they read loop locals or cannot be spliced

  requires action with the application:
  Kani Format Check#14079:Pull request#4957synchronizebykasimte
  kasimte:fix-4911-loophead-call-move

  Oct 14, 2026Action required
  More actions for workflow run 14079

• Automatic toolchain upgrade to nightly-2026-10-12 (#5002)

  completed successfully:
  Kani Format Check#14078:Commit9461e07pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 20262m 38s
  More actions for workflow run 14078

• Kani Format Check

  completed successfully:
  Kani Format Check#14077:Merge group checks requested
  Oct 14, 20262m 54s
  More actions for workflow run 14077

• Automatic toolchain upgrade to nightly-2026-10-12 (#5002)

  completed successfully:
  Kani Format Check#14076:Commit9461e07pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-5002-6ce55b95437ad334c7e0a319400c2aebb07db58f

  Oct 14, 20262m 37s
  More actions for workflow run 14076

• Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc…

  completed successfully:
  Kani Format Check#14075:Commit6ce55b9pushedbygithub-merge-queue[bot]Bot
  main

  Oct 14, 20262m 42s
  More actions for workflow run 14075

• Upgrade Charon to nightly-2026.10.13

  completed successfully:
  Kani Format Check#14074:Pull request#5003openedbyfeliperodri
  feliperodri:charon-2026.10.13

  Oct 14, 20261m 52s
  More actions for workflow run 14074

• Kani Format Check

  completed successfully:
  Kani Format Check#14073:Merge group checks requested
  Oct 14, 20262m 16s
  More actions for workflow run 14073

• Fix codegen crashes on SVE tuples and non-power-of-two Simd on aarc…

  completed successfully:
  Kani Format Check#14072:Commit6ce55b9pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-4964-328e6b8df03446a2f0667cd9d6ce825eb50e6d7a

  Oct 14, 20262m 16s
  More actions for workflow run 14072

• Automatic toolchain upgrade to nightly-2026-10-12

  completed successfully:
  Kani Format Check#14071:Pull request#5002reopenedbyfeliperodri
  toolchain-2026-10-12

  Oct 14, 20262m 42s
  More actions for workflow run 14071

• Automatic toolchain upgrade to nightly-2026-10-12

  completed successfully:
  Kani Format Check#14070:Pull request#5002openedbygithub-actions[bot]Bot
  toolchain-2026-10-12

  Oct 14, 20262m 25s
  More actions for workflow run 14070

• Add check for vtable metadata of a different trait

  requires action with the application:
  Kani Format Check#14069:Pull request#5001openedbymiguelcorderopamphile
  miguelcorderopamphile:fix/invalid-vtable-check

  Oct 14, 2026Action required
  More actions for workflow run 14069

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

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

  Oct 14, 2026Action required
  More actions for workflow run 14068

• Don't ICE when rustc changes the return type of catch_unwind

  completed successfully:
  Kani Format Check#14067:Pull request#4996synchronizebypaulocsanz
  paulocsanz:rfc0475-catch-unwind-sig-drift

  Oct 13, 20263m 4s
  More actions for workflow run 14067

• Don't ICE when rustc changes the return type of catch_unwind

  requires action with the application:
  Kani Format Check#14066:Pull request#4996synchronizebypaulocsanz
  paulocsanz:rfc0475-catch-unwind-sig-drift

  Oct 13, 2026Action required
  More actions for workflow run 14066

• Fix missing thread prefixes in parallel verification output (#4944)

  completed successfully:
  Kani Format Check#14065:Commit328e6b8pushedbygithub-merge-queue[bot]Bot
  main

  Oct 13, 20262m 32s
  More actions for workflow run 14065

• Fix missing thread prefixes in parallel verification output (#4944)

  completed successfully:
  Kani Format Check#14064:Commit328e6b8pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-4944-08c1e7ca1bf9b3d988a7a2fe2b0a2034609a5d0f

  Oct 13, 20267m 7s
  More actions for workflow run 14064

• Kani Format Check

  completed successfully:
  Kani Format Check#14063:Merge group checks requested
  Oct 13, 20266m 45s
  More actions for workflow run 14063

• Make KaniIter for Range::len total so a symbolic range with start > end does not underflow

  completed successfully:
  Kani Format Check#14062:Pull request#4956synchronizebyfeliperodri
  kasimte:kz-canary-1

  Oct 13, 20262m 50s
  More actions for workflow run 14062

• Kani Format Check

  completed successfully:
  Kani Format Check#14061:Merge group checks requested
  Oct 13, 20262m 13s
  More actions for workflow run 14061