MAINT: allow build of env docker image from webui
Warning
Henrik tom Wörden
created pipeline for commit
8a7adfc9
, finished
1 related merge request: !66 F mypy
5 minutes 18 seconds, queued for 4 seconds