Merge pull request #797 from typelevel/update/case-insensitive-1.4.2 #2420
Job | Run time |
---|---|
14m 15s | |
4m 13s | |
13m 22s | |
3m 58s | |
10s | |
24m 18s | |
13m 50s | |
12m 11s | |
38m 30s | |
0s | |
2h 4m 47s |
Job | Run time |
---|---|
14m 15s | |
4m 13s | |
13m 22s | |
3m 58s | |
10s | |
24m 18s | |
13m 50s | |
12m 11s | |
38m 30s | |
0s | |
2h 4m 47s |