use nurl to generate better src nix code
#37
| Job | Run time |
|---|---|
| 7s | |
| 27s | |
| 7m 54s | |
| 40m 20s | |
| 5m 34s | |
| 43m 39s | |
| 1h 38m 1s |
src nix code
#37
| Job | Run time |
|---|---|
| 7s | |
| 27s | |
| 7m 54s | |
| 40m 20s | |
| 5m 34s | |
| 43m 39s | |
| 1h 38m 1s |