Skip to content

Merge branch 'main' into cargo-update-2024-04-01 #6423

Merge branch 'main' into cargo-update-2024-04-01

Merge branch 'main' into cargo-update-2024-04-01 #6423

Triggered via push April 4, 2024 08:51
Status Success
Total duration 28m 47s
Artifacts

kani.yml

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