CI bumps: ghc 9.10, action versions, Agda to 2.6.4.3#2398

Merged

andreasabel merged 2 commits intomasterfrom ghc-9.10

May 29, 2024

Commits on May 29, 2024

Haskell CI (for GenerateEverything) and dependencies bumped to GHC 9.10.1
andreasabel
committed
CI: bump some versions, satisfy some shellcheck complaints
andreasabel
committed