CI

chore(build): Remove unnecessary empty line after document (#1181) #774

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	4m 52s
machete	12s
rustfmt	14s
docs	4m 40s
toml_validation	6s
unused_dependencies	9m 15s
Check README	3s
kani	42s
minimal-versions	30s
msrv	17s
no-std	29s
test (stable, ubuntu-latest)	8m 53s
test (stable, macos-latest)	5m 33s
test (stable, windows-latest)	7m 58s
all systems go	1s
	43m 45s