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.
|
sudo: required
|
|
dist: trusty
|
|
group: edge
|
|
|
|
language: php
|
|
|
|
php:
|
|
- 7.1
|
|
- 7.2
|
|
- nightly
|
|
|
|
script:
|
|
- phpize
|
|
- ./configure
|
|
- make
|
|
- make test
|
|
|