update CIs

.appveyor.yml

-# ~*~ auto-generated by haskell-ci with config : 38018d70f0eae470b08e5cbec7eca488e57e227627db463c3999acfaa8b2fb30 ~*~
+# ~*~ auto-generated by haskell-ci with config : 0a4c6a0fd68c5b852764201c037cae7f29b1cb3f3856f78d1a20fe2e44845097 ~*~
 
 version: "{build}"
 clone_folder: C:\project
@@ -9,6 +9,8 @@ cache:
 environment:
   global:
     STACK_ROOT: "C:\\SR"
+  matrix:
+    - { BUILD: "ghc-8.6", STACKCMD: "stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps", STACKCFG: "{ resolver: lts-13.5, packages: [ '.' ], extra-deps: [], flags: {} }", STACKURL: "https://www.stackage.org/stack/windows-x86_64" }
 
 matrix:
   fast_finish: true

.haskell-ci

 # compiler supported and their equivalent LTS
 compiler: ghc-8.0 lts-9.21
 compiler: ghc-8.2 lts-11.22
-compiler: ghc-8.4 lts-12.7
+compiler: ghc-8.4 lts-12.26
+compiler: ghc-8.6 lts-13.5
 
 # gitdep: name location commit
 
@@ -11,17 +12,17 @@ compiler: ghc-8.4 lts-12.7
 # builds
 # recognized simple options: nohaddock allow-newer allowed-failure
 # kvs options: flag=pkg:flagname extradep=package-version gitdep=name
-build: ghc-8.2
 build: ghc-8.0
-build: ghc-8.0 os=osx
-build: ghc-8.4 extradep=patience-0.1.1
+build: ghc-8.2
+build: ghc-8.4
+build: ghc-8.6 os=osx,linux,windows
 
 # packages
 package: '.'
 
 # extra builds
-hlint: allowed-failure
-weeder: allowed-failure
+hlint: false
+weeder: false
 coverall: false
 
 # travis extra

.travis.yml

-# ~*~ auto-generated by haskell-ci with config : 38018d70f0eae470b08e5cbec7eca488e57e227627db463c3999acfaa8b2fb30 ~*~
+# ~*~ auto-generated by haskell-ci with config : 4f10ebe6d264e64568e369d32a9b5a82649d7c2eed45f7722f41ec22c42fd0a7 ~*~
 
 # Use new container infrastructure to enable caching
 sudo: false
@@ -12,15 +12,12 @@ cache:
 
 matrix:
   include:
-  - { env: BUILD=stack RESOLVER=ghc-8.2, compiler: ghc-8.2, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
   - { env: BUILD=stack RESOLVER=ghc-8.0, compiler: ghc-8.0, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
-  - { env: BUILD=stack RESOLVER=ghc-8.0, compiler: ghc-8.0, language: generic, addons: { apt: { packages: [ libgmp-dev ] } }, os: osx }
+  - { env: BUILD=stack RESOLVER=ghc-8.2, compiler: ghc-8.2, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
   - { env: BUILD=stack RESOLVER=ghc-8.4, compiler: ghc-8.4, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
-  - { env: BUILD=hlint, compiler: hlint, language: generic }
-  - { env: BUILD=weeder, compiler: weeder, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
+  - { env: BUILD=stack RESOLVER=ghc-8.6, compiler: ghc-8.6, language: generic, addons: { apt: { packages: [ libgmp-dev ] } }, os: osx }
+  - { env: BUILD=stack RESOLVER=ghc-8.6, compiler: ghc-8.6, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
   allow_failures:
-  - { env: BUILD=hlint, compiler: hlint, language: generic }
-  - { env: BUILD=weeder, compiler: weeder, language: generic, addons: { apt: { packages: [ libgmp-dev ] } } }
 
 install:
   - export PATH=$HOME/.local/bin::$HOME/.cabal/bin:$PATH
@@ -47,20 +44,20 @@ script:
     stack)
       # create the build stack.yaml
       case "$RESOLVER" in
-      ghc-8.2)
-        echo "{ resolver: lts-10.7, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
-        stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps
-        ;;
       ghc-8.0)
         echo "{ resolver: lts-9.21, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
         stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps
         ;;
-      ghc-8.0)
-        echo "{ resolver: lts-9.21, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
+      ghc-8.2)
+        echo "{ resolver: lts-11.22, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
         stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps
         ;;
       ghc-8.4)
-        echo "{ resolver: lts-12.1, packages: [ '.' ], extra-deps: [ patience-0.1.1 ], flags: {} }" > stack.yaml
+        echo "{ resolver: lts-12.26, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
+        stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps
+        ;;
+      ghc-8.6)
+        echo "{ resolver: lts-13.7, packages: [ '.' ], extra-deps: [], flags: {} }" > stack.yaml
         stack --no-terminal build --install-ghc --coverage --test --bench --no-run-benchmarks --haddock --no-haddock-deps
         ;;
       esac

stack.yaml

-resolver: lts-12.21
-packages:
-- .
-extra-deps: []
+# ~*~ auto-generated by haskell-ci with config : 0a4c6a0fd68c5b852764201c037cae7f29b1cb3f3856f78d1a20fe2e44845097 ~*~
+{ resolver: lts-13.5, packages: [ '.' ], extra-deps: [], flags: {} }
+