diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml index 0aa1080f44..f491e32dc6 100644 --- a/.github/workflows/haskell-ci.yml +++ b/.github/workflows/haskell-ci.yml @@ -8,9 +8,9 @@ # # For more information, see https://github.com/haskell-CI/haskell-ci # -# version: 0.16.1 +# version: 0.16.4 # -# REGENDATA ("0.16.1",["github","--no-cabal-check","agda-stdlib-utils.cabal"]) +# REGENDATA ("0.16.4",["github","--no-cabal-check","agda-stdlib-utils.cabal"]) # name: Haskell-CI on: @@ -44,9 +44,9 @@ jobs: strategy: matrix: include: - - compiler: ghc-9.6.1 + - compiler: ghc-9.6.2 compilerKind: ghc - compilerVersion: 9.6.1 + compilerVersion: 9.6.2 setup-method: ghcup allow-failure: false - compiler: ghc-9.4.5 @@ -54,9 +54,9 @@ jobs: compilerVersion: 9.4.5 setup-method: ghcup allow-failure: false - - compiler: ghc-9.2.7 + - compiler: ghc-9.2.8 compilerKind: ghc - compilerVersion: 9.2.7 + compilerVersion: 9.2.8 setup-method: ghcup allow-failure: false - compiler: ghc-9.0.2 diff --git a/agda-stdlib-utils.cabal b/agda-stdlib-utils.cabal index 7d93147747..5ca3bd7055 100644 --- a/agda-stdlib-utils.cabal +++ b/agda-stdlib-utils.cabal @@ -6,9 +6,9 @@ description: Helper programs for setting up the Agda standard library. license: MIT tested-with: - GHC == 9.6.1 + GHC == 9.6.2 GHC == 9.4.5 - GHC == 9.2.7 + GHC == 9.2.8 GHC == 9.0.2 GHC == 8.10.7 GHC == 8.8.4 diff --git a/stack-9.0.2.yaml b/stack-9.0.2.yaml index 76871b383c..22f6eadaf6 100644 --- a/stack-9.0.2.yaml +++ b/stack-9.0.2.yaml @@ -1,10 +1,6 @@ -resolver: nightly-2022-01-27 +resolver: lts-19.33 compiler: ghc-9.0.2 compiler-check: match-exact -# extra-deps: -# - filemanip-0.3.6.3 -# - unix-compat-0.5.2 - packages: - '.' diff --git a/stack-9.2.8.yaml b/stack-9.2.8.yaml new file mode 100644 index 0000000000..3df1c335fb --- /dev/null +++ b/stack-9.2.8.yaml @@ -0,0 +1,6 @@ +resolver: lts-20.26 +compiler: ghc-9.2.8 +compiler-check: match-exact + +packages: +- '.'