refactor(runqueue): use Option::map as hax now supports it (#409)
#80
| Job | Run time |
|---|---|
| 2m 17s | |
| 7s | |
| 2m 24s |
Option::map as hax now supports it (#409)
#80
| Job | Run time |
|---|---|
| 2m 17s | |
| 7s | |
| 2m 24s |