trusty seems faster, try again
authorMichael Wallner <mike@php.net>
Thu, 22 Sep 2016 08:47:17 +0000 (10:47 +0200)
committerMichael Wallner <mike@php.net>
Tue, 4 Oct 2016 08:25:10 +0000 (10:25 +0200)
.travis.yml
scripts/gen_travis_yml.php

index 848a362c27e776dbcca46bafa9f4a740784b75c2..a281b7e1bfc9fb7f97757257d2714bd287bce259 100644 (file)
@@ -1,6 +1,7 @@
 # autogenerated file; do not edit
 language: c
-sudo: false
+sudo: required
+dist: trusty
 
 addons:
  apt:
index 2a80a3734ba91d29a987f8a790711269bfe6ec16..0b282e5aece3511f2b4787e02fe80c0219b8a0e8 100755 (executable)
@@ -1,7 +1,8 @@
 #!/usr/bin/env php
 # autogenerated file; do not edit
 language: c
-sudo: false
+sudo: required
+dist: trusty
 
 addons:
  apt: