prune docker containers (continuously)#37

Merged

mvdbeek merged 4 commits intogalaxyproject:mainfrom bernt-matthias:topic/docker-prune-1st

Jul 24, 2023

+14-2

Commits on Jul 17, 2023

Commits on Jul 18, 2023

fix
bernt-matthias
committed