Work around CI problem from ghcup switch to GHC 9.2

[Mikolaj]

This is a workaround for #7798 based on the theory that the recent CI breakage is caused by GHA bumping GHC to 9.4 (I'm quite surprised, but OTOH 9.4 is a good release and IIRC an LTS release).

Edit: a correction: it seems to be GHC 9.2. Much less surprising.

Edit2: actually, it seems this was not GHA upgrading GHC, but ghcup changing the "recommended" version and our scripts install that version

[ulysses4ever]

If we change "recommended" to x.y.z, then we better have some reminder to upgrade it once in a while. I don't know how to reliably implement such a reminder.

I'd much rather we leave recommended in place and deal with upgrades when ghcup bumps it.

I also don't get why this patch seemingly both rolls back GHC to 8.10 and bumps the bounds that would allow to build with 9.2?

[ulysses4ever]

Oh, I see a comment about doctest now. Well, we could allow-newer, open an issue against doctest, and when upstream fixes the issue remove allow-newer.

[Mikolaj]

Yes, at least a ticket about upgrading doctest would be a good idea. I think we should investigate whether we should stick to the current doctest, change it (there are a couple of competing products), fork it, etc. I don't know which doctest we are using, but if it fails for GHC 9.2, it may not be worth sticking to. Or perhaps we somehow use it wrong or from a wrong branch. Outside the scope of this ticket, certainly.

[Mikolaj]

I will write copy-paste the doctest ticket once this CI run passes.

[Mikolaj]

I'm going to emergency-merge RSN.

[Mikolaj]

Thank you very much, @ulysses4ever and @athas. Merging.

[Mikolaj]

@mergify rebase

[mergify]

rebase

☑️ Nothing to do

• any of:
  • #commits-behind>0 [:pushpin: rebase requirement]
  • -linear-history [:pushpin: rebase requirement]
• -closed [:pushpin: rebase requirement]

[ulysses4ever]

@mergify backport

[mergify]

backport

❌ No backport have been created

No destination branches found

[ulysses4ever]

@mergify backport 3.8

[mergify]

backport 3.8

✅ Backports have been created

• #8513 Work around CI problem from ghcup switch to GHC 9.2 (backport #8503) has been created for branch 3.8