CI

style: Replace unnecessary `map_or` #863

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kani	30s
docs	4m 20s
Check README	2s
clippy	4m 49s
machete	12s
minimal-versions	29s
msrv	27s
no-std	39s
rustfmt	10s
test (stable, ubuntu-latest)	6m 21s
toml_validation	13s
unused_dependencies	8m 31s
test (stable, macos-latest)	4m 9s
test (stable, windows-latest)	9m 54s
all systems go	0s
	40m 46s