Skip to content
Kani

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

Sign in to view logs

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

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

This workflow is awaiting approval from a maintainer in #582
Triggered via pull request April 14, 2026 15:41
@v3risecv3risec
synchronize #582
v3risec:challenge-26-rc
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #582

kani.yml

on: pull_request
Matrix: Verify std library using autoharness
Waiting for pending jobs
Matrix: Kani Metrics
Waiting for pending jobs
Kani Autoharness Analyzer
Kani Autoharness Analyzer
Kani List
Kani List
Matrix: check-kani-on-std
Waiting for pending jobs
Matrix: Build JSON from logs
Waiting for pending jobs
Fit to window
Zoom out
Zoom in