fix(riscv64): clippy::unnecessary_map_or
#1165
| Job | Run time |
|---|---|
| 12s | |
| 57s | |
| 2m 6s | |
| 1m 45s | |
| 5m 13s | |
| 1m 20s | |
| 1m 20s | |
| 4m 14s | |
| 1m 21s | |
| 1m 14s | |
| 3m 46s | |
| 23m 28s |
clippy::unnecessary_map_or
#1165
| Job | Run time |
|---|---|
| 12s | |
| 57s | |
| 2m 6s | |
| 1m 45s | |
| 5m 13s | |
| 1m 20s | |
| 1m 20s | |
| 4m 14s | |
| 1m 21s | |
| 1m 14s | |
| 3m 46s | |
| 23m 28s |