Skip to content
Kani CI

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

Sign in to view logs

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

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

Triggered via push August 25, 2024 09:31
@tatsuya6502tatsuya6502
pushed c5e5ba3
miri-tree-borrows
Status Success
Total duration 1m 14s
Artifacts –

Kani.yml

on: push
pre_job
6s
pre_job
run-kani
47s
run-kani
Fit to window
Zoom out
Zoom in