Skip to content

Fix the CI for nightly + minimal crate versions #437

Fix the CI for nightly + minimal crate versions

Fix the CI for nightly + minimal crate versions #437

Triggered via push February 10, 2024 12:25
Status Success
Total duration 1m 15s
Artifacts

Kani.yml

on: push
Fit to window
Zoom out
Zoom in