Rust Tests

Workflow runs for Rust Tests

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Rust Tests#3371:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Nov 6, 20264m 1s
  More actions for workflow run 3371

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Rust Tests#3370:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202610m 13s
  More actions for workflow run 3370

• Rust Tests

  completed successfully:
  Rust Tests#3369:Merge group checks requested
  Nov 3, 202616m 14s
  More actions for workflow run 3369

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  completed successfully:
  Rust Tests#3368:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 202619m 8s
  More actions for workflow run 3368

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Rust Tests#3367:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202633m 36s
  More actions for workflow run 3367

• Challenge 2: memory safety of raw-pointer intrinsics

  completed successfully:
  Rust Tests#3366:Pull request#649synchronizebystefanzetzsche
  stefanzetzsche:intrinsics-challenge-2

  Nov 3, 20266m 24s
  More actions for workflow run 3366

• Challenge 20: Unbounded proofs for the char Searchers of str::pattern

  completed successfully:
  Rust Tests#3365:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Nov 3, 20265m 36s
  More actions for workflow run 3365

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Rust Tests#3364:Pull request#747openedbyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202611m 44s
  More actions for workflow run 3364

• Merge subtree update for toolchain nightly-2026-10-23

  completed successfully:
  Rust Tests#3363:Pull request#745openedbygithub-actions[bot]Bot
  sync-2026-10-23

  Nov 3, 20266m 47s
  More actions for workflow run 3363

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  completed successfully:
  Rust Tests#3362:Pull request#683synchronizebyv3risec
  v3risec:challenge-7-atomic

  Nov 3, 20265m 39s
  More actions for workflow run 3362

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Rust Tests#3361:Pull request#744synchronizebyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 20266m 16s
  More actions for workflow run 3361

• Challenge 18: Verify Slice Iter safety with Kani

  completed successfully:
  Rust Tests#3360:Pull request#744openedbyv3risec
  v3risec:challenge-18-slice-iter

  Nov 3, 20266m 20s
  More actions for workflow run 3360

• Challenge 21: Verify safety of StrSearcher with Kani

  failed:
  Rust Tests#3359:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Nov 3, 20264m 24s
  More actions for workflow run 3359

• Challenge 7: Verify safety of Atomic types and Atomic Intrinsics with Kani

  failed:
  Rust Tests#3358:Pull request#683synchronizebyv3risec
  v3risec:challenge-7-atomic

  Nov 3, 20264m 7s
  More actions for workflow run 3358

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Rust Tests#3357:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20265m 18s
  More actions for workflow run 3357

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Rust Tests#3356:Pull request#729synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 3, 20264m 5s
  More actions for workflow run 3356

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  Rust Tests#3355:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20266m 16s
  More actions for workflow run 3355

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  Rust Tests#3354:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 20269m 5s
  More actions for workflow run 3354

• Rust Tests

  completed successfully:
  Rust Tests#3353:Merge group checks requested
  Nov 2, 20267m 48s
  More actions for workflow run 3353

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Rust Tests#3352:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20267m 54s
  More actions for workflow run 3352

• Rust Tests

  completed successfully:
  Rust Tests#3351:Merge group checks requested
  Nov 2, 20265m 19s
  More actions for workflow run 3351

• Run autoharness jobs only in the merge queue

  completed successfully:
  Rust Tests#3350:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Nov 2, 20264m 45s
  More actions for workflow run 3350

• Challenge 23: verify Vec mod.rs function safety with Kani

  completed successfully:
  Rust Tests#3349:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Nov 1, 20265m 45s
  More actions for workflow run 3349

• Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

  completed successfully:
  Rust Tests#3348:Pull request#722synchronizebykasimte
  kasimte:20-build-s2

  Oct 31, 20265m 26s
  More actions for workflow run 3348

• Run autoharness jobs only in the merge queue

  completed successfully:
  Rust Tests#3347:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 20265m 58s
  More actions for workflow run 3347