Merge pull request #2279 from tweag/add-ghc-9.12

Add GHC 9.12 to update-ghc workflow
tweag · Feb 14, 2025 · d1d557d · d1d557d
2 parents 4aff52a + 63ab758
commit d1d557d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/update-ghc.yaml b/.github/workflows/update-ghc.yaml
@@ -17,6 +17,7 @@ jobs:
           - '9.6'
           - '9.8'
           - '9.10'
+          - '9.12'
     steps:
       - uses: actions/checkout@v4
         with: