| commit | 67b3c8d50144adba5d2f2b1484a7d08ab5fa13e7 | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Fri, 30 Sep 2022 14:16:26 +0000 (30 16:16 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 30 Sep 2022 14:16:26 +0000 (30 16:16 +0200) | ||
| tree | 934911b1120e4608d120cd4ca06b2441098d51b3 | treesnapshot (tar.gz zip) |
| parent | 2b6c376dd8d60f74a432d07c5b2c50f9a0e8a414 | commitdiff |
| parent | a66f183a9f91e6b471a22805e1e43a2a4b5e6676 | commitdiff |
Merge pull request #8503 from Mikolaj/update-CI-to-GHA-on-GHC-9.4
Work around CI problem from ghcup switch to GHC 9.2
Work around CI problem from ghcup switch to GHC 9.2