path: root/src
diff options
authorMichel Dänzer <>2018-12-11 11:47:16 +0100
committerMichel Dänzer <>2018-12-11 11:47:16 +0100
commitbe862ed459b06ab7dfc80b5c3d1e2ac7e9327a6e (patch)
treee1f29f1209be243bfb0e14b135e6ff69ccad3f3d /src
parentb11ee02c4596ddee3c9ff2141be5c91815efacc3 (diff)
Generate docker image as part of CI pipeline
This removes the dependency on an externally generated docker image, and should make it easier to update the docker image or make other changes related to it. v2: * If the image doesn't exist, try pulling it from the main repo's registry. * Use debian:testing-slim as the base, might result in a slightly smaller image. v3: * Prevent installation of packages which are only recommended, for an even smaller image. * Add recommendation to remove new image from source repository in favour of the main repository's. Acked-by: Alex Deucher <> # v2
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions