Skip to content
Kani CI

Fix the CI with Rust 1.80 beta #504

Sign in to view logs

Fix the CI with Rust 1.80 beta

Fix the CI with Rust 1.80 beta #504

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre_job
5s
run-kani
37s
42s