Skip to content
Kani CI

Fix the CI with minimal crate versions #258

Sign in to view logs

Fix the CI with minimal crate versions

Fix the CI with minimal crate versions #258

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run-kani
50s
50s