CI: use ghcup
instead of hvr-ppa
#80
Job | Run time |
---|---|
10m 10s | |
12m 44s | |
10m 25s | |
10m 47s | |
11m 6s | |
13m 9s | |
13m 18s | |
13m 29s | |
13m 30s | |
13m 37s | |
2h 2m 15s |
ghcup
instead of hvr-ppa
#80
Job | Run time |
---|---|
10m 10s | |
12m 44s | |
10m 25s | |
10m 47s | |
11m 6s | |
13m 9s | |
13m 18s | |
13m 29s | |
13m 30s | |
13m 37s | |
2h 2m 15s |