Skip to content
Back to pull request #3972

Use Kani's Cargo when calling cargo metadata #3987

Sign in to view logs

Use Kani's Cargo when calling cargo metadata

Use Kani's Cargo when calling cargo metadata #3987

Run time

Learn about OS pricing on GitHub Actions
Job Run time
BuildBundle-Linux
6m 6s
BuildBundle-MacOs
13m 15s
BuildBundle-MacOs-ARM
4m 31s
TestBundle (macos-13)
1m 1s
TestLocalToolchain (macos-13)
2m 28s
TestBundle (ubuntu-22.04)
58s
TestLocalToolchain (ubuntu-22.04)
1m 5s
TestBundle (ubuntu-24.04)
1m 21s
TestLocalToolchain (ubuntu-24.04)
2m 0s
Release
0s
Package Docker
0s
32m 45s