Robin Müller 2385e7812b update dockerfile, install nightly		2023-01-11 00:19:05 +01:00
..
Dockerfile	update dockerfile, install nightly	2023-01-11 00:19:05 +01:00
Jenkinsfile	add docs step in jenkinsfile	2023-01-11 00:16:09 +01:00