RAPx

Workflow runs for RAPx

• Run autoharness jobs only in the merge queue

  completed successfully:
  RAPx#473:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Nov 2, 20262m 0s
  More actions for workflow run 473

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

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

  Nov 1, 20262m 23s
  More actions for workflow run 472

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

  completed successfully:
  RAPx#471:Pull request#722synchronizebykasimte
  kasimte:20-build-s2

  Oct 31, 20262m 1s
  More actions for workflow run 471

• Run autoharness jobs only in the merge queue

  completed successfully:
  RAPx#470:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 20262m 21s
  More actions for workflow run 470

• Run autoharness jobs only in the merge queue

  completed successfully:
  RAPx#469:Pull request#738synchronizebyfeliperodri
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 30, 20262m 22s
  More actions for workflow run 469

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#468:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261h 18m 56s
  More actions for workflow run 468

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

  completed successfully:
  RAPx#467:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262h 42m 52s
  More actions for workflow run 467

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

  completed successfully:
  RAPx#466:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20261h 6m 8s
  More actions for workflow run 466

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#465:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202623m 27s
  More actions for workflow run 465

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#464:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 202615m 15s
  More actions for workflow run 464

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#463:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20261m 46s
  More actions for workflow run 463

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#462:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 24s
  More actions for workflow run 462

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#461:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20264m 21s
  More actions for workflow run 461

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

  completed successfully:
  RAPx#460:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262m 43s
  More actions for workflow run 460

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#459:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 14s
  More actions for workflow run 459

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#458:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 28, 20262m 18s
  More actions for workflow run 458

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

  completed successfully:
  RAPx#457:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 28, 20262m 17s
  More actions for workflow run 457

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#456:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202646m 24s
  More actions for workflow run 456

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

  completed successfully:
  RAPx#455:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 202613m 12s
  More actions for workflow run 455

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#454:Pull request#742synchronizebypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202616m 41s
  More actions for workflow run 454

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

  completed successfully:
  RAPx#453:Pull request#740synchronizebyhung1962003
  hung1962003:challenge-20-char-searchers

  Oct 27, 202616m 36s
  More actions for workflow run 453

• Verify the safety of core::slice functions with VeriFast (Challenge 17)

  completed successfully:
  RAPx#452:Pull request#742openedbypaulocsanz
  paulocsanz:challenge17-verifast-slice

  Oct 27, 202638m 4s
  More actions for workflow run 452

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  RAPx#451:Pull request#741synchronizebyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20262m 12s
  More actions for workflow run 451

• Challenge 22: Verify safety of str iter with Kani

  completed successfully:
  RAPx#450:Pull request#741openedbyv3risec
  v3risec:challenge-22-str-iter

  Oct 27, 20261m 49s
  More actions for workflow run 450

• Challenge 21: Verify safety of StrSearcher with Kani

  completed successfully:
  RAPx#449:Pull request#621synchronizebyv3risec
  v3risec:challenge-21-string-searcher

  Oct 27, 20262m 14s
  More actions for workflow run 449