bugfix: Don't assume outer deref when fetching integer values from references #8673
Job | Run time |
---|---|
1m 32s | |
16s | |
1m 54s | |
18s | |
18s | |
19s | |
18s | |
16s | |
11s | |
2m 45s | |
17s | |
18s | |
10m 48s | |
49m 3s | |
50s | |
10m 34s | |
3m 24s | |
22m 31s | |
10m 52s | |
2m 24s | |
1m 44s | |
10m 36s | |
1m 37s | |
10m 24s | |
10m 39s | |
1m 46s | |
10m 40s | |
24s | |
23s | |
10m 50s | |
2m 35s | |
10m 36s | |
10m 10s | |
11m 11s | |
10m 23s | |
10m 48s | |
10m 43s | |
10m 21s | |
10m 35s | |
2m 35s | |
10m 44s | |
10m 43s | |
10m 57s | |
10m 41s | |
10m 44s | |
10m 35s | |
10m 44s | |
10m 45s | |
2m 40s | |
9s | |
19s | |
2m 27s | |
24s | |
23s | |
12s | |
6h 0m 35s |