Merge pull request #1771 from riganti/property-compilation-improvements #2940
| Job | Run time |
|---|---|
| 3m 52s | |
| 1m 1s | |
| 2m 42s | |
| 13m 38s | |
| 8m 15s | |
| 2m 53s | |
| 4m 45s | |
| 12m 45s | |
| 24m 45s | |
| 18m 24s | |
| 17m 32s | |
| 19m 18s | |
| 13m 51s | |
| 2h 23m 41s |
| Job | Run time |
|---|---|
| 3m 52s | |
| 1m 1s | |
| 2m 42s | |
| 13m 38s | |
| 8m 15s | |
| 2m 53s | |
| 4m 45s | |
| 12m 45s | |
| 24m 45s | |
| 18m 24s | |
| 17m 32s | |
| 19m 18s | |
| 13m 51s | |
| 2h 23m 41s |