CI: use ghcup instead of hvr-ppa for setup
#47
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 9m 52s | |
| 9m 52s | |
| 8m 55s | |
| 8m 55s | |
| 8m 42s | |
| 8m 42s | |
| 10m 19s | |
| 10m 19s | |
| 10m 47s | |
| 10m 47s | |
| 11m 12s | |
| 11m 12s | |
| 10m 17s | |
| 10m 17s | |
| 9m 59s | |
| 9m 59s | |
| 54s | |
| 1m 1s | |
| 2h 42m 1s |