Closed gassmoeller closed 3 weeks ago
Since #5854 we no longer build a derived docker image using Jenkins, so these lines are no longer necessary.
Since #5854 we no longer build a derived docker image using Jenkins, so these lines are no longer necessary.