Robin Mueller 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