From: Luca Heltai Date: Fri, 24 Dec 2021 08:32:47 +0000 (+0100) Subject: Add docker image with root user. X-Git-Tag: v9.4.0-rc1~711^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d0ce3445a9412db667c89ecd915cbd40f0209f8;p=dealii.git Add docker image with root user. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 423cc5ccd9..1dcd8668da 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -27,4 +27,14 @@ jobs: cache-from: type=registry,ref=dealii/dependencies:focal cache-to: type=inline push: true - tags: dealii/dealii:master-focal \ No newline at end of file + tags: dealii/dealii:master-focal + + - name: Build and push Docker image of master with root user + uses: docker/build-push-action@v2 + with: + context: ./contrib/docker/ + file: {context}/Dockerfile.root + cache-from: type=registry,ref=dealii/dealii:master-focal + cache-to: type=inline + push: true + tags: dealii/dealii:master-focal-root \ No newline at end of file diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root new file mode 100644 index 0000000000..3ad752a69a --- /dev/null +++ b/contrib/docker/Dockerfile.root @@ -0,0 +1,5 @@ +FROM dealii/dealii:master-focal + +LABEL maintainer="luca.heltai@gmail.com" + +USER root diff --git a/doc/news/changes/minor/20211224LucaHeltai b/doc/news/changes/minor/20211224LucaHeltai new file mode 100644 index 0000000000..a7f33dada8 --- /dev/null +++ b/doc/news/changes/minor/20211224LucaHeltai @@ -0,0 +1,3 @@ +New: Build also a docker image with root user, to be used in github actions directly. +
+(Luca Heltai, 2021/12/24)