Improve Kani handling of function markers #3166

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
BuildBundle-Linux	22m 30s
BuildBundle-MacOs	11m 6s
BuildBundle-MacOs-ARM	5m 27s
TestAlternativePlatforms	1m 57s
TestBundle (macos-13)	1m 6s
TestLocalToolchain (macos-13)	2m 46s
TestBundle (ubuntu-20.04)	1m 18s
TestLocalToolchain (ubuntu-20.04)	1m 34s
TestBundle (ubuntu-22.04)	45s
TestLocalToolchain (ubuntu-22.04)	1m 26s
Release	0s
Package Docker	0s
	49m 55s