Bump Stack CI to latest

agda · Jan 13, 2025 · b356fb0 · b356fb0
1 parent 1c4d659
commit b356fb0
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 23 deletions.
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -3,13 +3,11 @@ on:
   push:
     branches:
       - master
-      - ci*
     tags:
       - v*
   pull_request:
     branches:
       - master
-      - ci*
   workflow_dispatch:
 
 # For making a release, we need write permissions.

diff --git a/fix-whitespace.cabal b/fix-whitespace.cabal
@@ -35,6 +35,7 @@ extra-doc-files:
   README.md
   fix-whitespace.yaml
   -- stack-supported GHCs
+  stack-9.10.yaml
   stack-9.8.yaml
   stack-9.6.yaml
   stack-9.4.yaml

diff --git a/stack-9.10.yaml b/stack-9.10.yaml
@@ -1,21 +1,3 @@
-resolver: nightly-2024-07-01
+resolver: nightly-2025-01-12
 compiler: ghc-9.10.1
 compiler-check: match-exact
-
-# Libraries shipped with GHC 9.10.1:
-extra-deps:
-- directory-1.3.8.3
-- filepath-1.5.2.0
-- process-1.6.19.0
-- unix-2.8.5.1
-# For Windows:
-- Win32-2.14.0.0
-- time-1.12.2
-
-flags:
-  directory:
-    os-string: true
-  unix:
-    os-string: true
-  Win32:
-    os-string: true
diff --git a/stack-9.6.yaml b/stack-9.6.yaml
@@ -1 +1 @@
-resolver: lts-22.38
+resolver: lts-22.43
diff --git a/stack-9.8.yaml b/stack-9.8.yaml
@@ -1 +1 @@
-resolver: nightly-2024-10-11
+resolver: lts-23.4