Skip to content
Kani CI

CI: Run miri using tree borrows in addition to the existing stacked borrows #542

Sign in to view logs

CI: Run miri using tree borrows in addition to the existing stacked borrows

CI: Run miri using tree borrows in addition to the existing stacked borrows #542

Triggered via pull request August 25, 2024 09:41
@tatsuya6502tatsuya6502
opened #454
miri-tree-borrows
Status Success
Total duration 56s
Artifacts –

Kani.yml

on: pull_request
pre_job
4s
pre_job
run-kani
38s
run-kani
Fit to window
Zoom out
Zoom in