builtins: improve builtins.function (#14094) #12272
| Job | Run time |
|---|---|
| 40s | |
| 38s | |
| 1m 2s | |
| 43s | |
| 36s | |
| 44s | |
| 1m 37s | |
| 59s | |
| 1m 2s | |
| 1m 34s | |
| 59s | |
| 2m 5s | |
| 54s | |
| 43s | |
| 28s | |
| 28s | |
| 23s | |
| 42s | |
| 16m 17s |
| Job | Run time |
|---|---|
| 40s | |
| 38s | |
| 1m 2s | |
| 43s | |
| 36s | |
| 44s | |
| 1m 37s | |
| 59s | |
| 1m 2s | |
| 1m 34s | |
| 59s | |
| 2m 5s | |
| 54s | |
| 43s | |
| 28s | |
| 28s | |
| 23s | |
| 42s | |
| 16m 17s |