Skip to content

Ubuntu 1804 build test

Jakob Maljaars requested to merge ubuntu-1804-build-test into master

Checks that the tests can be built on Ubuntu 18.04 (and make this actual working by flipping some #includes around)

Merge request reports