VeriFast

Workflow runs for VeriFast

• Run autoharness jobs only in the merge queue

  completed successfully:
  VeriFast#2040:Pull request#738openedbyTianshu-Huang
  Tianshu-Huang:ci-autoharness-merge-queue

  Oct 23, 202614m 3s
  More actions for workflow run 2040

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

  completed successfully:
  VeriFast#2039:Pull request#737synchronizebyfeliperodri
  sync-2026-10-22

  Oct 23, 202631m 54s
  More actions for workflow run 2039

• Bump Flux to 1b04d5e for nightly-2026-10-22 and follow the bstr rename

  completed successfully:
  VeriFast#2038:Commitb3d9538pushedbyfeliperodri
  sync-2026-10-22

  Oct 23, 202631m 26s
  More actions for workflow run 2038

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

  completed successfully:
  VeriFast#2037:Pull request#737synchronizebyfeliperodri
  sync-2026-10-22

  Oct 23, 20264m 35s
  More actions for workflow run 2037

• Resolve subtree merge conflict in non_null.rs

  completed successfully:
  VeriFast#2036:Commit93c3a6bpushedbyfeliperodri
  sync-2026-10-22

  Oct 23, 20264m 52s
  More actions for workflow run 2036

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

  completed successfully:
  VeriFast#2035:Pull request#587synchronizebyv3risec
  v3risec:challenge-27-arc

  Oct 23, 20267m 1s
  More actions for workflow run 2035

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

  completed successfully:
  VeriFast#2034:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 23, 20269m 38s
  More actions for workflow run 2034

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

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

  Oct 23, 202614m 9s
  More actions for workflow run 2033

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

  completed successfully:
  VeriFast#2032:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 23, 202643s
  More actions for workflow run 2032

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

  completed successfully:
  VeriFast#2031:Pull request#587synchronizebyv3risec
  v3risec:challenge-27-arc

  Oct 23, 202647s
  More actions for workflow run 2031

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

  completed successfully:
  VeriFast#2030:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 22, 20264m 47s
  More actions for workflow run 2030

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

  completed successfully:
  VeriFast#2029:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 22, 20261m 14s
  More actions for workflow run 2029

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

  completed successfully:
  VeriFast#2028:Commitc0bd09cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 22, 20263m 36s
  More actions for workflow run 2028

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

  completed successfully:
  VeriFast#2027:Commitc0bd09cpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-732-30c6d741a588e0f3444f630939e8b36968d102be

  Oct 22, 20262m 34s
  More actions for workflow run 2027

• VeriFast

  completed successfully:
  VeriFast#2026:Merge group checks requested
  Oct 22, 20262m 31s
  More actions for workflow run 2026

• Challenge 13: safety of CStr

  completed successfully:
  VeriFast#2025:Pull request#638synchronizebystefanzetzsche
  stefanzetzsche:cstr-challenge-13

  Oct 22, 20262m 54s
  More actions for workflow run 2025

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

  completed successfully:
  VeriFast#2024:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Oct 22, 202646s
  More actions for workflow run 2024

• Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani (#587)

  completed successfully:
  VeriFast#2023:Commitdc8ba59pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-587-30c6d741a588e0f3444f630939e8b36968d102be

  Oct 22, 202643s
  More actions for workflow run 2023

• VeriFast

  completed successfully:
  VeriFast#2022:Merge group checks requested
  Oct 22, 202648s
  More actions for workflow run 2022

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

  completed successfully:
  VeriFast#2021:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Oct 21, 20263m 37s
  More actions for workflow run 2021

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

  completed successfully:
  VeriFast#2020:Pull request#681synchronizebyfeliperodri
  jrey8343:challenge-25-vecdeque

  Oct 21, 20268m 14s
  More actions for workflow run 2020

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

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

  Oct 21, 202611m 54s
  More actions for workflow run 2019

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

  completed successfully:
  VeriFast#2018:Pull request#582synchronizebyv3risec
  v3risec:challenge-26-rc

  Oct 21, 202646s
  More actions for workflow run 2018

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

  completed successfully:
  VeriFast#2017:Pull request#589synchronizebyv3risec
  v3risec:challenge-29-boxed

  Oct 21, 202646s
  More actions for workflow run 2017

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

  completed successfully:
  VeriFast#2016:Pull request#589synchronizebyv3risec
  v3risec:challenge-29-boxed

  Oct 21, 202637s
  More actions for workflow run 2016