[TASK] Disable devtools for the time being

hoaproject · Oct 6, 2020 · b4a13ad · b4a13ad
1 parent a17b7b1
commit b4a13ad
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -11,8 +11,8 @@ jobs:
     - php: 5.6
     - php: 7.0
     - php: 7.1
-      env:
-        - ENABLE_DEVTOOLS=true
+#      env:
+#        - ENABLE_DEVTOOLS=true
     - php: 7.2
     - php: 7.3
     - php: nightly