CI needs updating to more recent GHC version
JacquesCarette opened this issue · comments
Looks like the CI uses GHC 8.10.7 (see .github/workflows/ci-ubuntu.yml) and cabal 3.6.2.0. Agda itself now seems to use stack and GHC 9.8.1. That's a very large gap!
And now... more upgrading required:
Warning: As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
***************************************************************************
** **
** This action is DEPRECATED. **
** **
** Please use haskell-actions/setup instead. **
** **
** (Note the dash instead of the slash.) **
** **
***************************************************************************