github: specify ghc and cabal version

This duplicates info from under `capDL-tool`, but it seems the haskell/setup action can't be persuaded to not immediately install something (`stack-no-global` had no effect). Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jul 11, 2024 · 6ef459b · 6ef459b
1 parent 3d12349
commit 6ef459b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -59,6 +59,8 @@ jobs:
       with:
         enable-stack: true
         stack-setup-ghc: true
+        ghc-version: 9.2.8
+        cabal-version: 1.18
     - name: Build and test
       run: |
         cd capDL-tool