tree 076d9ea79874838d89cffa74f1f0d160a5884422
parent 6feb746cfafeedb600ae12e22be910ad376b30a5
author Serge Bazanski <serge@nexantic.com> 1621357030 +0200
committer Sergiusz Bazanski <serge@nexantic.com> 1621361559 +0000

build/ci: move Dockerfile, document new CI

This moves the Builder Imager Dockerfile into //build/ci, adds some
small changes to make it usable as a Jenkins agent base, documents its
usage, and adds a script which builds and pushes that image into an
external container registry.

We also remove the old Phabricator-based CI scripting.

Change-Id: I332608f7d7105f675104db3ee2d787b2412fcbe9
Reviewed-on: https://review.monogon.dev/c/monogon/+/28
Reviewed-by: Leopold Schabel <leo@nexantic.com>