Add src/Util/GenerateHtmlCombinators/Html5.hs to extra-source-files #15
Job | Run time |
---|---|
4m 2s | |
3m 37s | |
3m 41s | |
3m 15s | |
3m 19s | |
3m 20s | |
3m 17s | |
3m 33s | |
3m 15s | |
4m 56s | |
4m 54s | |
41m 9s |
Job | Run time |
---|---|
4m 2s | |
3m 37s | |
3m 41s | |
3m 15s | |
3m 19s | |
3m 20s | |
3m 17s | |
3m 33s | |
3m 15s | |
4m 56s | |
4m 54s | |
41m 9s |