Ulrich Mohr da42edcc0c Jenkinsfile: added stage to be more verbose

2021-10-26 20:58:34 +02:00

..

Dockerfile

added jenkins integration

2021-10-25 14:59:16 +02:00

Jenkinsfile

Jenkinsfile: added stage to be more verbose

2021-10-26 20:58:34 +02:00