checker: check if unwrapped m[key] if m is Option
#361
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 1m 57s | |
| 2m 30s | |
| 4m 27s |
m[key] if m is Option
#361
| Job | Run time |
|---|---|
| 1m 57s | |
| 2m 30s | |
| 4m 27s |