CI

Add a config option to avoid passing include_source_info #854

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	4m 35s
rustfmt	6s
docs	4m 19s
toml_validation	7s
Check README	3s
kani	31s
machete	5s
minimal-versions	22s
msrv	31s
no-std	24s
test (stable, ubuntu-latest)	6m 4s
unused_dependencies	9m 25s
test (stable, macos-latest)	4m 20s
test (stable, windows-latest)	9m 34s
all systems go	1s
	40m 27s