Merge pull request #22 from agda/issue-21

Issue 21

Author: asr

.github/workflows/stack.yml

@@ -6,7 +6,7 @@ jobs:
     runs-on: ubuntu-18.04
     strategy:
       matrix:
-        ghc-ver: [9.0.1, 8.10.5, 8.10.4, 8.8.4, 8.6.5, 8.4.4, 8.2.2, 8.0.2]
+        ghc-ver: [9.0.1, 8.10.6, 8.8.4, 8.6.5, 8.4.4, 8.2.2, 8.0.2]
     env:
       ARGS: "--stack-yaml stack-${{ matrix.ghc-ver }}.yaml --no-terminal --system-ghc"
 

fix-whitespace.cabal

@@ -16,8 +16,6 @@ tested-with:     GHC == 8.0.2
                  GHC == 8.4.4
                  GHC == 8.6.5
                  GHC == 8.8.4
-                 GHC == 8.10.4
-                 GHC == 8.10.5
                  GHC == 8.10.6
                  GHC == 9.0.1
 
@@ -30,8 +28,6 @@ extra-source-files:
   stack-8.4.4.yaml
   stack-8.6.5.yaml
   stack-8.8.4.yaml
-  stack-8.10.4.yaml
-  stack-8.10.5.yaml
   stack-8.10.6.yaml
   stack-9.0.1.yaml
 

stack-8.10.4.yaml

@@ -1,3 +1,3 @@
-resolver: lts-18.5
+resolver: lts-18.8
 compiler: ghc-8.10.6
 compiler-check: match-exact