Fix CI breakage caused by new (2024-05-14) runner images - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.41k stars 339 forks source link

Fix CI breakage caused by new (2024-05-14) runner images #7280

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

CI cabal-install: use haskell-actions/setup to pin GHC to 9.8.2
CI stack/win: try latest ICU