HomePhabricator

Merge branch 'better-docker' into 'master'

Description

Merge branch 'better-docker' into 'master'

Better docker integration, to speedup the CI/CD pipelines.

See merge request wildfyre/lib!15