This repository has been archived on 2020-03-30. You can view files and clone it, but cannot push or open issues or pull requests.
2018-03-23 09:29:34 +00:00
|
|
|
sudo: required
|
|
|
|
|
dist: trusty
|
|
|
|
|
group: edge
|
|
|
|
|
|
|
|
|
|
language: php
|
|
|
|
|
|
|
|
|
|
php:
|
|
|
|
|
- 7.1
|
|
|
|
|
- 7.2
|
|
|
|
|
- nightly
|
|
|
|
|
|
|
|
|
|
script:
|
|
|
|
|
- phpize
|
|
|
|
|
- ./configure
|
|
|
|
|
- make
|
2018-05-05 12:22:11 +00:00
|
|
|
- make test
|
2018-08-09 09:40:00 +00:00
|
|
|
|
