Skip to content
Rust Tests

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

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

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

rustc.yml

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