I merged #8629 without noticing that circle ci did not run here. Signed-off-by: Julien Pivotto <roidelapluie@inuits.eu>
* Implement Docker discovery Signed-off-by: Robert Jacob <xperimental@solidproject.de>