Merge pull request #670 from typelevel/fix/include-rewrite-phase #1453
Job | Run time |
---|---|
4m 8s | |
9s | |
4m 8s | |
11m 39s | |
3m 50s | |
4m 4s | |
4m 0s | |
4m 18s | |
4m 36s | |
5m 14s | |
46m 6s |
Job | Run time |
---|---|
4m 8s | |
9s | |
4m 8s | |
11m 39s | |
3m 50s | |
4m 4s | |
4m 0s | |
4m 18s | |
4m 36s | |
5m 14s | |
46m 6s |