Skip to content

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

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 #2519

This workflow is awaiting approval from a maintainer in #589
Triggered via pull request April 26, 2026 07:26
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #589

rustc.yml

on: pull_request
Matrix: upstream_test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in