Skip to content

Merge branch 'main' into auto-cargo-update #227

Merge branch 'main' into auto-cargo-update

Merge branch 'main' into auto-cargo-update #227

Triggered via push December 14, 2023 19:08
Status Success
Total duration 31m 59s
Artifacts

kani.yml

on: push
Matrix: regression
Fit to window
Zoom out
Zoom in