Skip to content
Kani

Update library/core/src/intrinsics.rs #19

Sign in to view logs

Update library/core/src/intrinsics.rs

Update library/core/src/intrinsics.rs #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest)
3m 53s
build (macos-latest)
4m 34s
8m 27s