Disable Idris 2 job

It's not working and I like the green status.
idris-lang · May 24, 2020 · f9161c4 · f9161c4
1 parent 0f4c4a6
commit f9161c4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -28,8 +28,8 @@ matrix:
     - env: CABALVER="3.0" GHCVER="8.8.3" TESTS="test_c"
       compiler: ": #GHC 8.8.3"
       addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.3,cppcheck,hscolour], sources: [hvr-ghc]}}
-    - env: CABALVER="3.0" GHCVER="8.8.3" IDRIS2=YES
-      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.3], sources: [hvr-ghc]}}
+ #   - env: CABALVER="3.0" GHCVER="8.8.3" IDRIS2=YES
+ #     addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.3], sources: [hvr-ghc]}}
   fast-finish: true
 
 cache: