Auto merge of #124661 - RalfJung:only-structural-consts-in-patterns, … #45950
| Job | Run time |
|---|---|
| 10s | |
| 1h 11m 10s | |
| 1h 9m 42s | |
| 55m 55s | |
| 1h 34m 49s | |
| 37m 38s | |
| 1h 19m 18s | |
| 1h 12m 54s | |
| 1h 14m 2s | |
| 1h 3m 21s | |
| 1h 26m 22s | |
| 1h 9m 50s | |
| 36m 32s | |
| 1h 13m 52s | |
| 1h 17m 13s | |
| 1h 16m 21s | |
| 1h 12m 59s | |
| 1h 21m 8s | |
| 59m 40s | |
| 53m 36s | |
| 1h 7m 33s | |
| 1h 17m 50s | |
| 1h 48m 18s | |
| 2h 2m 40s | |
| 1h 6m 27s | |
| 1h 9m 27s | |
| 1h 15m 20s | |
| 1h 19m 30s | |
| 28m 2s | |
| 58m 25s | |
| 1h 30m 13s | |
| 1h 32m 52s | |
| 1h 25m 44s | |
| 1h 20m 5s | |
| 1h 38m 11s | |
| 1h 6m 18s | |
| 1h 58m 12s | |
| 2h 2m 16s | |
| 1h 19m 59s | |
| 1h 4m 5s | |
| 1h 55m 10s | |
| 1h 18m 13s | |
| 1h 54m 49s | |
| 1h 14m 34s | |
| 57m 44s | |
| 54m 21s | |
| 1h 30m 53s | |
| 1h 36m 27s | |
| 1h 39m 58s | |
| 1h 44m 15s | |
| 1h 42m 48s | |
| 1h 50m 11s | |
| 1h 2m 45s | |
| 1h 14m 10s | |
| 1h 10m 52s | |
| 1h 10m 54s | |
| 1h 6m 58s | |
| 11s | |
| 3d 1h 23m 12s |