fix dotty.tools.dotc.config.Properties
scaladoc
#858
Job | Run time |
---|---|
0s | |
5m 30s | |
4m 46s | |
11m 4s | |
8m 12s | |
29m 32s |
dotty.tools.dotc.config.Properties
scaladoc
#858
Job | Run time |
---|---|
0s | |
5m 30s | |
4m 46s | |
11m 4s | |
8m 12s | |
29m 32s |