Skip to content
  • Klaus Weidenbach's avatar
    👷 use PHP7.1 and add PostgreSQL9.6 · 8e80500e
    Klaus Weidenbach authored
    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.
    8e80500e