Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (19 sloc) 415 Bytes
language: php
dist: precise
php:
- 5.2
- 5.3
- 5.4
- 5.5
- 5.6
- 7.0
- 7.1
- 7.2
env:
- REPORT_EXIT_STATUS=1 NO_INTERACTION=1
before_script:
- phpize && ./configure && make
script:
- make test | tee test-output.txt && grep 'TEST SUMMARY$' test-output.txt > /dev/null ; test $? '!=' 0
after_failure:
- for FILE in `find ./tests -name '*.diff'`; do echo echo $FILE; cat $FILE; echo; done