Skip to content
Kani CI

Fix Miri error (Stacked Borrow violation) in the test code of the timer wheel #460

Sign in to view logs

Fix Miri error (Stacked Borrow violation) in the test code of the timer wheel

Fix Miri error (Stacked Borrow violation) in the test code of the timer wheel #460

Triggered via pull request April 11, 2024 10:29
@tatsuya6502tatsuya6502
opened #416
fix-stacked-borrow-violation
Status Success
Total duration 5m 58s
Artifacts –

Kani.yml

on: pull_request
pre_job
8s
pre_job
run-kani
58s
run-kani
Fit to window
Zoom out
Zoom in