Skip to content

CI: Pin Kani version to v0.54.0 to avoid tests to stall #50

CI: Pin Kani version to v0.54.0 to avoid tests to stall

CI: Pin Kani version to v0.54.0 to avoid tests to stall #50

Triggered via push September 10, 2024 12:09
Status Success
Total duration 36s
Artifacts

Trybuild.yml

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