CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	4m 45s
clippy	5m 22s
Check README	6s
kani	42s
machete	13s
minimal-versions	31s
msrv	22s
no-std	26s
rustfmt	15s
test (stable, ubuntu-latest)	6m 45s
toml_validation	10s
unused_dependencies	9m 23s
test (stable, macos-latest)	4m 34s
test (stable, windows-latest)	7m 16s
all systems go	1s
	40m 51s