Skip to content
VeriFast

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

Sign in to view logs

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

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

This workflow is awaiting approval from a maintainer in #589
Triggered via pull request April 26, 2026 07:26
@v3risecv3risec
synchronize #589
v3risec:challenge-29-boxed
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #589

verifast.yml

on: pull_request
Verify std library
Verify std library
Notify @btj
Notify @btj
Fit to window
Zoom out
Zoom in