Narrow is with final types correctly
#3
| Job | Run time |
|---|---|
| 22m 58s | |
| 23m 58s | |
| 47m 17s | |
| 21m 22s | |
| 21m 28s | |
| 3s | |
| 2h 17m 6s |
is with final types correctly
#3
| Job | Run time |
|---|---|
| 22m 58s | |
| 23m 58s | |
| 47m 17s | |
| 21m 22s | |
| 21m 28s | |
| 3s | |
| 2h 17m 6s |