Back to pull request #1049

fix the link and badge for CI #376

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	2m 26s
rustfmt	15s
machete	14s
toml_validation	8s
unused_dependencies	2m 25s
kani	55s
minimal-versions	31s
no-std	22s
test (stable, ubuntu-latest)	4m 17s
test (stable, macos-latest)	3m 20s
test (stable, windows-latest)	4m 32s
test (1.70, ubuntu-latest)	4m 19s
test (1.70, macos-latest)	4m 44s
test (1.70, windows-latest)	4m 21s
	32m 49s