Drop stack for GHC 8.0 and 8.2 because cabal-version 1.22

agda · Feb 17, 2023 · 37220b7 · 37220b7
1 parent 9646818
commit 37220b7
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 25 deletions.
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -73,7 +73,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-22.04]
-        ghc-ver: [9.4.4, 9.2.5, 9.0.2, 8.10.7, 8.8.4, 8.6.5, 8.4.4, 8.2.2, 8.0.2]
+        ghc-ver: [9.4.4, 9.2.5, 9.0.2, 8.10.7, 8.8.4, 8.6.5, 8.4.4]
         include:
           - os: windows-2022
             ghc-ver: 9.4.4

diff --git a/fix-whitespace.cabal b/fix-whitespace.cabal
@@ -15,6 +15,7 @@ homepage:        https://github.com/agda/fix-whitespace
 bug-reports:     https://github.com/agda/fix-whitespace/issues
 
 tested-with:
+  -- cabal-supported GHCs
   GHC == 9.6.0
   GHC == 9.4.4
   GHC == 9.2.5
@@ -30,16 +31,15 @@ extra-doc-files:
   CHANGELOG.md
   README.md
   fix-whitespace.yaml
-  stack-8.0.2.yaml
-  stack-8.2.2.yaml
-  stack-8.4.4.yaml
-  stack-8.6.5.yaml
-  stack-8.8.4.yaml
-  stack-8.10.7.yaml
-  stack-9.0.2.yaml
-  stack-9.2.4.yaml
-  stack-9.2.5.yaml
+  -- stack-supported GHCs
   stack-9.4.4.yaml
+  stack-9.2.5.yaml
+  stack-9.2.4.yaml
+  stack-9.0.2.yaml
+  stack-8.10.7.yaml
+  stack-8.8.4.yaml
+  stack-8.6.5.yaml
+  stack-8.4.4.yaml
 
 source-repository head
   type: git

diff --git a/stack-8.0.2.yaml b/stack-8.0.2.yaml
diff --git a/stack-8.2.2.yaml b/stack-8.2.2.yaml