build: Improve error message about mismatching git tags (#5205) #9828
| Job | Run time |
|---|---|
| 22m 2s | |
| 36m 0s | |
| 7m 2s | |
| 6m 50s | |
| 13m 40s | |
| 10m 34s | |
| 17m 8s | |
| 13m 37s | |
| 17m 5s | |
| 4m 46s | |
| 17m 33s | |
| 6m 36s | |
| 7m 55s | |
| 10m 36s | |
| 8m 51s | |
| 7m 42s | |
| 7m 37s | |
| 7m 41s | |
| 27m 1s | |
| 7m 29s | |
| 11m 33s | |
| 49s | |
| 16m 5s | |
| 6m 43s | |
| 7m 28s | |
| 6m 46s | |
| 6m 33s | |
| 5h 13m 42s |