Skip to content
Kani CI

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

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 #545

Triggered via pull request August 25, 2024 10:07
@tatsuya6502tatsuya6502
synchronize #454
miri-tree-borrows
Status Success
Total duration 1m 35s
Artifacts –

Kani.yml

on: pull_request
pre_job
5s
pre_job
run-kani
48s
run-kani
Fit to window
Zoom out
Zoom in