Skip to content
Kani Extra

Automatic cargo update to 2024-01-22 #323

Sign in to view logs

Automatic cargo update to 2024-01-22

Automatic cargo update to 2024-01-22 #323

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Auto Label
7s
Auto Label
7s
Verification Benchmarks / perf-benchcomp
1h 2m 10s
Verification Benchmarks / perf-benchcomp
1h 1m 40s
2h 4m 4s