Back to pull request #3121

`kani-cov`: A coverage tool for Kani #2788

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
BuildBundle-Linux	22m 16s
BuildBundle-MacOs	11m 43s
BuildBundle-MacOs-ARM	5m 35s
TestAlternativePlatforms	2m 4s
TestBundle (macos-13)	1m 25s
TestLocalToolchain (macos-13)	1m 44s
TestBundle (ubuntu-20.04)	1m 0s
TestLocalToolchain (ubuntu-20.04)	55s
TestBundle (ubuntu-22.04)	43s
TestLocalToolchain (ubuntu-22.04)	57s
Release	0s
Package Docker	0s
	48m 22s