add source spans to exhaustivity warnings #3139
Job | Run time |
---|---|
8s | |
7m 3s | |
6m 48s | |
0s | |
6m 59s | |
6m 52s | |
9m 21s | |
11m 37s | |
7m 5s | |
24s | |
26s | |
1m 14s | |
16s | |
25s | |
1m 3s | |
15s | |
36s | |
1m 8s | |
19s | |
30s | |
1m 16s | |
14s | |
28s | |
1m 14s | |
1m 48s | |
1m 33s | |
2m 56s | |
30s | |
42s | |
1m 14s | |
14s | |
34s | |
1m 14s | |
24s | |
25s | |
1m 3s | |
1m 40s | |
1m 15s | |
2m 37s | |
13s | |
25s | |
1m 14s | |
7m 21s | |
5m 2s | |
8m 38s | |
24s | |
2m 22s | |
1h 49m 29s |