PIPELINE: update Dockerfile
Warning
Timm Fitschen
created pipeline for commit 11db5d97
, finished
1 related merge request: !8 Code coverage
5 minutes 19 seconds, queued for 3 seconds