Resolve unnecessary_map_or clippy lint #4914

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clippy	58s
Outdated	9s
pre_ci / pre_ci	2s
Tests	2m 29s
Examples	25s
Codegen	36s
Documentation	51s
Fuzz	46s
Rust stable	33s
Minimal versions	13s
Rust beta	29s
Rust 1.65.0	2m 6s
Miri	3m 50s
Rust 1.61.0	2m 7s
Rust nightly	56s
WebAssembly	29s
WASI	34s
Windows	50s
	18m 23s