aboutsummaryrefslogtreecommitdiffstats
path: root/tests/travis
Commit message (Collapse)AuthorAgeFilesLines
* :construction_worker: Add Travis' GitHub deployment steps.Klaus Weidenbach2017-03-141-41/+6
| | | | | | | | | Changed API documentation deployment to gh_pages to Travis's GitHub Pages deployment. Also add Travis GitHub Release Deployment step to offer API documentation. Both steps are optional and need to be activated in Travis by setting GH_TOKEN.
* :construction_worker: Add old MySQL 5.5 to Travis CI again.Klaus Weidenbach2017-03-141-0/+2
| | | | | | The trusty distro contains MySQL 5.6. Add a precise distro with MySQL 5.5. Unfortunately 5.7 is not yet provided, which would be interesting because of the enabled strict SQL mode.
* :construction_worker: use PHP7.1 and add PostgreSQL9.6Klaus Weidenbach2017-03-142-13/+14
| | | | | | | | 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.
* :green_heart: Update Travis CI's Doxygen.Klaus Weidenbach2017-03-141-12/+29
| | | | | | | | Travis CI has Doxygen 1.7. We need 1.8 to generate our API documentation. Get a static version and use it. Always build API Documentation, but changed Doxygen configuration to only print out errors in the documentation generation, so these can be reviewed.
* [FEATURE] :construction_worker: Extend Travis CI integration.Klaus Weidenbach2017-03-144-0/+195
Testing several Travis CI features. Add DBs to travis execution matrix. Doxygen API docu generation and deployment to gh-pages. Update phpunit to 5.7.