Adapt to DLamCasesE
in th-desugar-1.18
#328
Job | Run time |
---|---|
1m 30s | |
1m 20s | |
1m 23s | |
1m 19s | |
1m 22s | |
1m 23s | |
1m 21s | |
1m 27s | |
1m 29s | |
1m 22s | |
1m 20s | |
1m 32s | |
16m 48s |
DLamCasesE
in th-desugar-1.18
#328
Job | Run time |
---|---|
1m 30s | |
1m 20s | |
1m 23s | |
1m 19s | |
1m 22s | |
1m 23s | |
1m 21s | |
1m 27s | |
1m 29s | |
1m 22s | |
1m 20s | |
1m 32s | |
16m 48s |