Skip to content

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

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

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

This workflow is awaiting approval from a maintainer in #582
Triggered via pull request April 14, 2026 15:41
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #582

rustc.yml

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