Bumped GHC version and added a new entry to ChangeLog.md. #11
Job | Run time |
---|---|
4m 9s | |
3m 57s | |
3m 46s | |
3m 55s | |
3m 23s | |
2m 56s | |
3m 26s | |
8m 55s | |
10m 35s | |
45m 2s |
Job | Run time |
---|---|
4m 9s | |
3m 57s | |
3m 46s | |
3m 55s | |
3m 23s | |
2m 56s | |
3m 26s | |
8m 55s | |
10m 35s | |
45m 2s |