RAPx

Workflow runs for RAPx

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

  completed successfully:
  RAPx#444:Pull request#692synchronizebykasimte
  kasimte:challenge-23-vec-part1

  Oct 26, 20261m 55s
  More actions for workflow run 444

• Run autoharness jobs only in the merge queue

  completed successfully:
  RAPx#443:Pull request#738openedbyTianshu-Huang
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 23, 202615m 53s
  More actions for workflow run 443

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

  completed successfully:
  RAPx#442:Pull request#737synchronizebyfeliperodri
  sync-2026-10-22

  Oct 23, 202633m 21s
  More actions for workflow run 442

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

  completed successfully:
  RAPx#441:Pull request#737synchronizebyfeliperodri
  sync-2026-10-22

  Oct 23, 20266m 13s
  More actions for workflow run 441

• Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani

  completed successfully:
  RAPx#440:Pull request#587synchronizebyv3risec
  v3risec:challenge-27-arc

  Oct 23, 20268m 30s
  More actions for workflow run 440

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#439:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 23, 202610m 59s
  More actions for workflow run 439

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

  completed successfully:
  RAPx#438:Pull request#737openedbygithub-actions[bot]Bot
  sync-2026-10-22

  Oct 23, 202615m 38s
  More actions for workflow run 438

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#437:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 23, 20262m 13s
  More actions for workflow run 437

• Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani

  completed successfully:
  RAPx#436:Pull request#587synchronizebyv3risec
  v3risec:challenge-27-arc

  Oct 23, 20262m 22s
  More actions for workflow run 436

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#435:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 22, 20266m 25s
  More actions for workflow run 435

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#434:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 22, 20262m 24s
  More actions for workflow run 434

• Merge subtree update for toolchain nightly-2026-10-12 (#732)

  completed successfully:
  RAPx#433:Commitc0bd09cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 22, 20261h 21m 30s
  More actions for workflow run 433

• Challenge 13: safety of CStr

  completed successfully:
  RAPx#432:Pull request#638synchronizebystefanzetzsche
  stefanzetzsche:cstr-challenge-13

  Oct 22, 20267m 46s
  More actions for workflow run 432

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

  completed successfully:
  RAPx#431:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Oct 22, 20262m 24s
  More actions for workflow run 431

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

  completed successfully:
  RAPx#430:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Oct 21, 20264m 57s
  More actions for workflow run 430

• Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)

  completed successfully:
  RAPx#429:Pull request#681synchronizebyfeliperodri
  jrey8343:challenge-25-vecdeque

  Oct 21, 20269m 50s
  More actions for workflow run 429

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

  completed successfully:
  RAPx#428:Pull request#732openedbygithub-actions[bot]Bot
  sync-2026-10-12

  Oct 21, 202613m 57s
  More actions for workflow run 428

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#427:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 21, 20261m 50s
  More actions for workflow run 427

• Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani

  completed successfully:
  RAPx#426:Pull request#589synchronizebyv3risec
  v3risec:challenge-29-boxed

  Oct 21, 20262m 11s
  More actions for workflow run 426

• Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani

  completed successfully:
  RAPx#425:Pull request#589synchronizebyv3risec
  v3risec:challenge-29-boxed

  Oct 21, 20261m 54s
  More actions for workflow run 425

• Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani

  completed successfully:
  RAPx#424:Pull request#587synchronizebyv3risec
  v3risec:challenge-27-arc

  Oct 21, 20261m 50s
  More actions for workflow run 424

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#423:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 21, 20261m 50s
  More actions for workflow run 423

• Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

  completed successfully:
  RAPx#422:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 21, 20262m 22s
  More actions for workflow run 422

• Challenge 8: verify smallsort safety and sorting correctness with Kani

  completed successfully:
  RAPx#421:Pull request#694synchronizebykasimte
  kasimte:8-build

  Oct 21, 20261m 48s
  More actions for workflow run 421

• Challenge 21: Verify StrSearcher safety in str::pattern with Kani

  completed successfully:
  RAPx#420:Pull request#721synchronizebykasimte
  kasimte:challenge-21-strsearcher

  Oct 21, 20262m 37s
  More actions for workflow run 420