build the Dockerimage used in CI
Compare changes
- Bas Nijholt authored
+ 28
− 16
- MISSING_AUTHORS=$(git shortlog -s HEAD | sed -e "s/^[0-9\t ]*//"| xargs -i sh -c 'grep -q "{}" AUTHORS.md || echo "{} missing from authors"')
@@ -34,3 +23,26 @@ build docker:
@@ -34,3 +23,26 @@ build docker: