3 Commits

Author	SHA1	Message	Date
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
Ulrich Mohr	a53992fdc9	introducing valgrind	2021-10-27 21:32:40 +02:00
Ulrich Mohr	19f9b0280c	added jenkins integration	2021-10-25 14:59:16 +02:00