Tidy up Dockerfile and GitLab pipeline
Description
-
Push options & code from GitLab pipeline to Dockerfile
-
Push options & code from Dockerfile to CMake
- Fix compilation warning found during this rework
-
Add "test release build" job for every CI run to avoid unpleasant failures on release.
-
Trim Docker image: only leave build artifacts there, thus slimming it down to 250MB
-
Add a check that built artifacts can actually be run
- Add --help to rumba for this
-
Merge build & test stages to save several minutes of build (docker push && docker pull are slow on GitLab)
The result is ~6m build that
- checks source code formatting
- builds source code in 3 different configurations
- runs unit tests
- runs integration tests
- checks that release Docker image can be built
Validation
- All jobs build just fine
Issues addressed
Related to #92 (closed)