Merge pull request #1539 from clasp-developers/autocompile #1095
| Job | Run time |
|---|---|
| 47m 38s | |
| 2h 57m 47s | |
| 31m 28s | |
| 1h 53m 40s | |
| 50m 41s | |
| 1h 35m 39s | |
| 36m 51s | |
| 1h 0m 30s | |
| 10h 14m 14s |
| Job | Run time |
|---|---|
| 47m 38s | |
| 2h 57m 47s | |
| 31m 28s | |
| 1h 53m 40s | |
| 50m 41s | |
| 1h 35m 39s | |
| 36m 51s | |
| 1h 0m 30s | |
| 10h 14m 14s |