Merge pull request #516 from nicoburns/remove-non-exhaustive #1174
Job | Run time |
---|---|
58s | |
53s | |
1m 15s | |
58s | |
54s | |
1m 33s | |
1m 16s | |
43s | |
2m 46s | |
56s | |
2m 12s | |
2m 22s | |
31s | |
25s | |
1m 51s | |
19s | |
1m 43s | |
51s | |
22m 26s |
Job | Run time |
---|---|
58s | |
53s | |
1m 15s | |
58s | |
54s | |
1m 33s | |
1m 16s | |
43s | |
2m 46s | |
56s | |
2m 12s | |
2m 22s | |
31s | |
25s | |
1m 51s | |
19s | |
1m 43s | |
51s | |
22m 26s |