Skip to content
Rust Tests

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
upstream_test (ubuntu-latest)
4m 3s
upstream_test (macos-latest)
6m 1s
10m 4s