#!/usr/bin/env php
# autogenerated file; do not edit
language: c
-sudo: false
-dist: trusty
addons:
apt:
before_cache:
- find $HOME/cache -name '*.gcda' -o -name '*.gcno' -delete
+matrix:
+ fast_finish: true
+ allow_failures:
+ - env: PHP=master
+
env:
<?php