Robin Mueller 441b3b83c8 Changes to Dockerfile and Jenkinsfile ... 1. Install Catch2 from sources inside a Docker stage/layer 2. Some tweaks to Jenkinsfile		2022-01-27 11:30:33 +01:00
..
Dockerfile	Changes to Dockerfile and Jenkinsfile	2022-01-27 11:30:33 +01:00
Jenkinsfile	Changes to Dockerfile and Jenkinsfile	2022-01-27 11:30:33 +01:00