This adds a simple CI that's able to:
The only difference with respect to issue #24 (closed) is that no custom Docker image is used. Given how slow yum tends to be, this would certainly be an optimization; however the current code runs in less than 10 minutes, which is a good start.
This MR is certainly a step forward towards a working Docker image, because the installations step have been worked out. A custom image will raise additional questions: for instance, I think that we should run the tests on a system with the a minimal number of development packages (basically only cmake).
This was primarily motivated by Doxygen concerns in !7 (merged), but also requested in #24 (closed). The custom image requested in #24 (closed) can be created later from the setup commands found in the Gitlab CI configuration.
Ran 111 pipelines in my own private repo.