From bcb6ae2fef66844e7f25c124e20f9be9f01e0cae Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Sun, 9 Apr 2023 14:22:36 -0600 Subject: [PATCH] Remove docker image with root user. --- .github/workflows/docker.yml | 13 +------------ contrib/docker/Dockerfile.root | 11 ----------- doc/news/changes/incompatibilities/20230409Fehling | 10 ++++++++++ 3 files changed, 11 insertions(+), 23 deletions(-) delete mode 100644 contrib/docker/Dockerfile.root create mode 100644 doc/news/changes/incompatibilities/20230409Fehling diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 4ff979f603..3885ea87e0 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -12,7 +12,7 @@ permissions: jobs: build-master-docker: - runs-on: ubuntu-latest + runs-on: ubuntu-20.4 steps: - name: Checkout code uses: actions/checkout@v3 @@ -34,14 +34,3 @@ jobs: cache-to: type=inline push: ${{github.ref_name == 'master'}} tags: dealii/dealii:master-focal - - - name: Build and push Docker image of master with root user - uses: docker/build-push-action@v4 - with: - context: ./contrib/docker/ - file: ./contrib/docker/Dockerfile.root - cache-from: type=registry,ref=dealii/dealii:master-focal - cache-to: type=inline - push: ${{github.ref_name == 'master'}} - tags: dealii/dealii:master-focal-root - diff --git a/contrib/docker/Dockerfile.root b/contrib/docker/Dockerfile.root deleted file mode 100644 index 33f267ad84..0000000000 --- a/contrib/docker/Dockerfile.root +++ /dev/null @@ -1,11 +0,0 @@ -FROM dealii/dealii:master-focal - -USER root - -ENV HOME /root - -WORKDIR /root - -ENV OMPI_ALLOW_RUN_AS_ROOT 1 - -ENV OMPI_ALLOW_RUN_AS_ROOT_CONFIRM 1 diff --git a/doc/news/changes/incompatibilities/20230409Fehling b/doc/news/changes/incompatibilities/20230409Fehling new file mode 100644 index 0000000000..3664b4ee8e --- /dev/null +++ b/doc/news/changes/incompatibilities/20230409Fehling @@ -0,0 +1,10 @@ +Removed: The docker image with root user has been removed. +
+If you would like to use the docker image in the context of github actions, +you can use the regular image and override the default user like this: +``` +container: + image: dealii/dealii:master-focal + options: --user root +``` +(Marc Fehling, 2023/04/09) -- 2.39.5