Merge pull request #1234 from informalsystems/ph/fix-link-openjdk #2839
| Job | Run time |
|---|---|
| 31s | |
| 3m 54s | |
| 27s | |
| 5m 30s | |
| 9m 41s | |
| 9m 37s | |
| 4m 34s | |
| 1m 2s | |
| 48s | |
| 2m 1s | |
| 1m 16s | |
| 2m 15s | |
| 2m 30s | |
| 2m 25s | |
| 5m 34s | |
| 52m 5s |
| Job | Run time |
|---|---|
| 31s | |
| 3m 54s | |
| 27s | |
| 5m 30s | |
| 9m 41s | |
| 9m 37s | |
| 4m 34s | |
| 1m 2s | |
| 48s | |
| 2m 1s | |
| 1m 16s | |
| 2m 15s | |
| 2m 30s | |
| 2m 25s | |
| 5m 34s | |
| 52m 5s |