mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 09:54:23 +03:00
Removed GHC 8.6
This commit is contained in:
parent
71d139087b
commit
49d7b89a96
@ -10,15 +10,6 @@ matrix:
|
||||
include:
|
||||
- env: CABALVER="2.4" GHCVER="8.6.5" STACKVER="15.3" STYLISH=YES
|
||||
addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.5,hscolour], sources: [hvr-ghc]}}
|
||||
- env: CABALVER="2.4" GHCVER="8.6.5" TESTS="lib_doc doc"
|
||||
compiler: ": #GHC 8.6.5"
|
||||
addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.5,cppcheck,hscolour,libffi-dev], sources: [hvr-ghc]}}
|
||||
- env: CABALVER="2.4" GHCVER="8.6.5" TESTS="test_js"
|
||||
compiler: ": #GHC 8.6.5"
|
||||
addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.5,cppcheck,hscolour,libffi-dev], sources: [hvr-ghc]}}
|
||||
- env: CABALVER="2.4" GHCVER="8.6.5" TESTS="test_c"
|
||||
compiler: ": #GHC 8.6.5"
|
||||
addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.5,cppcheck,hscolour,libffi-dev], sources: [hvr-ghc]}}
|
||||
- env: CABALVER="3.0" GHCVER="8.8.2" TESTS="lib_doc doc"
|
||||
compiler: ": #GHC 8.8.2"
|
||||
addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.2,cppcheck,hscolour,libffi-dev], sources: [hvr-ghc]}}
|
||||
|
Loading…
Reference in New Issue
Block a user