Remove docker image with root user.

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 4ff979f603ded816d2118bd91eb48f2c1eed3950..3885ea87e056d7c10a681cf32b42d73ea7cc3348 100644 (file)
--- 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 (file)
index 33f267a..0000000
--- 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 (file)
index 0000000..3664b4e
--- /dev/null
+++ b/doc/news/changes/incompatibilities/20230409Fehling
@@ -0,0 +1,10 @@
+Removed: The docker image with root user has been removed.
+<br>
+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)