Add KnownNat (DomainPeriod dom)
to KnownDomain
#2250
Job | Run time |
---|---|
28m 27s | |
28m 22s | |
28m 36s | |
20m 31s | |
26m 53s | |
28m 26s | |
27m 45s | |
27m 38s | |
20m 44s | |
0s | |
15s | |
3h 57m 37s |