Upgrade to GHC 9.2.5

[tfausak]

https://discourse.haskell.org/t/ghc-9-2-5-released/5275

We'll either have to wait for HLS to release new binaries, or produce an image without HLS. (Compiling from source didn't work for us: #8.)

[codygman]

(Compiling from source didn't work for us: #8.)

I don't think we ever tried using a beefier actions machine to compile hls from source. I couldn't because it requires you to activate it on the account level.

I'm fine using 9.2.4 for now which ghcup list said was "HLS-powered".

[tfausak]

Oh yeah good point, that PR was using the GitHub Actions builders. Maybe things would work on the AWS CodeBuild ones.

[codygman]

Oh yeah good point, that PR was using the GitHub Actions builders. Maybe things would work on the AWS CodeBuild ones.

Well I meant we could use the more powerful github actions builders without having to change things over to CodeBuild. I'm not opposed to moving to CodeBuild I don't think, but IIRC it's a settings change in the github admin panel for smurf and a one-line change in workflow.yml.

[tfausak]

This repo already uses CodeBuild: #10

[codygman]

Oh... right... and the compile of HLS would happen here in this repo.