chore: satisfy clippy::manual_unwrap_or_default
#12
| Job | Run time |
|---|---|
| 1h 23m 54s | |
| 1h 23m 54s |
clippy::manual_unwrap_or_default
#12
| Job | Run time |
|---|---|
| 1h 23m 54s | |
| 1h 23m 54s |