Back to pull request #3641

Build and include `kani-cov` in the bundle #2937

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
BuildBundle-Linux	22m 28s
BuildBundle-MacOs	10m 27s
BuildBundle-MacOs-ARM	5m 52s
TestAlternativePlatforms	1m 50s
TestBundle (macos-13)	1m 11s
TestLocalToolchain (macos-13)	2m 45s
TestBundle (ubuntu-20.04)	38s
TestLocalToolchain (ubuntu-20.04)	1m 1s
TestBundle (ubuntu-22.04)	43s
TestLocalToolchain (ubuntu-22.04)	58s
Release	0s
Package Docker	0s
	47m 53s