CI

style: Replace unnecessary `map_or` #864

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check README	3s
clippy	4m 36s
docs	4m 30s
kani	36s
machete	12s
minimal-versions	22s
msrv	23s
no-std	23s
rustfmt	11s
test (stable, ubuntu-latest)	6m 21s
toml_validation	3s
test (stable, macos-latest)	4m 16s
unused_dependencies	8m 48s
test (stable, windows-latest)	10m 3s
all systems go	1s
	40m 48s