Target node20 in github actions + bump GHC version #60
Job | Run time |
---|---|
10m 22s | |
6m 28s | |
10m 4s | |
6m 28s | |
10m 21s | |
7m 4s | |
10m 25s | |
4m 46s | |
10m 53s | |
5m 7s | |
1h 21m 58s |
Job | Run time |
---|---|
10m 22s | |
6m 28s | |
10m 4s | |
6m 28s | |
10m 21s | |
7m 4s | |
10m 25s | |
4m 46s | |
10m 53s | |
5m 7s | |
1h 21m 58s |