Skip to content
Kani CI

Fix Miri error (Stacked Borrow violation) in the test code of the tim… #459

Sign in to view logs

Fix Miri error (Stacked Borrow violation) in the test code of the tim…

Fix Miri error (Stacked Borrow violation) in the test code of the tim… #459

Triggered via push April 11, 2024 10:27
@tatsuya6502tatsuya6502
pushed 7879dde
fix-stacked-borrow-violation
Status Success
Total duration 1m 13s
Artifacts –

Kani.yml

on: push
pre_job
3s
pre_job
run-kani
55s
run-kani
Fit to window
Zoom out
Zoom in