Merge pull request #1711 from riganti/fix/tostring-global-function #2725
| Job | Run time |
|---|---|
| 17m 42s | |
| 2m 21s | |
| 4m 53s | |
| 4m 27s | |
| 4m 36s | |
| 11m 35s | |
| 6m 16s | |
| 15m 12s | |
| 28m 50s | |
| 20m 49s | |
| 19m 44s | |
| 21m 42s | |
| 15m 51s | |
| 2h 53m 58s |
| Job | Run time |
|---|---|
| 17m 42s | |
| 2m 21s | |
| 4m 53s | |
| 4m 27s | |
| 4m 36s | |
| 11m 35s | |
| 6m 16s | |
| 15m 12s | |
| 28m 50s | |
| 20m 49s | |
| 19m 44s | |
| 21m 42s | |
| 15m 51s | |
| 2h 53m 58s |