Bump version to 7.1.2 #1668
| Job | Run time |
|---|---|
| 3m 42s | |
| 1m 26s | |
| 46s | |
| 1m 41s | |
| 10m 31s | |
| 58m 15s | |
| 1h 16m 18s | |
| 11m 28s | |
| 16m 10s | |
| 19m 55s | |
| 20m 46s | |
| 29m 24s | |
| 1h 2m 5s | |
| 40m 31s | |
| 1h 8m 58s | |
| 1h 25m 9s | |
| 13m 9s | |
| 9m 14s | |
| 54m 55s | |
| 1h 14m 23s | |
| 1h 11m 20s | |
| 12m 5s | |
| 44m 37s | |
| 39m 14s | |
| 1h 8m 51s | |
| 12s | |
| 8s | |
| 14h 55m 13s |