This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Klaus Weidenbach 8e80500ee6 👷 use PHP7.1 and add PostgreSQL9.6 ...

Use newer distro for Travis CI runs.
New environment provides PostgreSQL9.6.
Also no need to install custom Doxygen, made it optional.
Changed default PHP environment from PHP7.0 to current PHP7.1.
Changed codecoverage reporting.

2017-03-14 20:39:57 +01:00

1.4 KiB

Executable File

Raw Blame History

View Raw