Auto merge of #116167 - RalfJung:structural-eq, r=lcnr #40874
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 0s | |
| 58m 24s | |
| 49m 25s | |
| 36m 0s | |
| 54m 46s | |
| 22m 27s | |
| 51m 18s | |
| 40m 30s | |
| 41m 46s | |
| 35m 43s | |
| 48m 45s | |
| 39m 10s | |
| 40m 24s | |
| 0s | |
| 0s | |
| 41m 47s | |
| 42m 35s | |
| 39m 45s | |
| 45m 10s | |
| 36m 59s | |
| 31m 48s | |
| 38m 39s | |
| 43m 21s | |
| 1h 40m 43s | |
| 1h 54m 29s | |
| 1h 0m 56s | |
| 39m 23s | |
| 1h 12m 7s | |
| 1h 16m 58s | |
| 25m 53s | |
| 30m 48s | |
| 1h 27m 15s | |
| 1h 23m 28s | |
| 48m 43s | |
| 37m 57s | |
| 49m 8s | |
| 1h 5m 1s | |
| 1h 11m 12s | |
| 1h 11m 16s | |
| 1h 17m 16s | |
| 39m 34s | |
| 1h 39m 41s | |
| 4h 24m 27s | |
| 1h 36m 24s | |
| 1h 8m 59s | |
| 1h 42m 29s | |
| 1h 29m 5s | |
| 1h 36m 1s | |
| 1h 26m 17s | |
| 1h 45m 13s | |
| 1h 42m 17s | |
| 1h 46m 12s | |
| 1h 5m 20s | |
| 1h 10m 35s | |
| 1h 11m 15s | |
| 1h 11m 13s | |
| 1h 9m 49s | |
| 1s | |
| 1s | |
| 2d 11h 16m 8s |