Freely configurable suffix for generated .js files (#6472) #2995
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 7s | |
| 15m 21s | |
| 24s | |
| 6m 34s | |
| 19m 3s | |
| 6m 43s | |
| 2m 59s | |
| 24s | |
| 19s | |
| 13s | |
| 18s | |
| 1m 20s | |
| 0s | |
| 57m 55s |
| Job | Run time |
|---|---|
| 2m 10s | |
| 2m 7s | |
| 15m 21s | |
| 24s | |
| 6m 34s | |
| 19m 3s | |
| 6m 43s | |
| 2m 59s | |
| 24s | |
| 19s | |
| 13s | |
| 18s | |
| 1m 20s | |
| 0s | |
| 57m 55s |