From 0d0ce3445a9412db667c89ecd915cbd40f0209f8 Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Fri, 24 Dec 2021 09:32:47 +0100 Subject: [PATCH] Add docker image with root user. --- .github/workflows/docker.yml | 12 +++++++++++- contrib/docker/Dockerfile.root | 5 +++++ doc/news/changes/minor/20211224LucaHeltai | 3 +++ 3 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 contrib/docker/Dockerfile.root create mode 100644 doc/news/changes/minor/20211224LucaHeltai 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) -- 2.39.5