Move the Docker setup for CI to docker/ubuntu-ci

pism · May 24, 2021 · 743e8d5 · 743e8d5
1 parent bbe39c2
commit 743e8d5
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/docker/CMakeLists.txt b/docker/CMakeLists.txt
@@ -27,5 +27,5 @@ mark_as_advanced(PISM_DEBIAN_PACKAGE_LIST)
 set(DOCKER_USERNAME "ckhrulev" CACHE STRING "Docker user name to use when building images")
 mark_as_advanced(DOCKER_USERNAME)
 
-add_subdirectory(ubuntu)
+add_subdirectory(ubuntu-ci)
 add_subdirectory(archlinux)
diff --git a/docker/ubuntu/CMakeLists.txt → docker/ubuntu-ci/CMakeLists.txt b/docker/ubuntu/CMakeLists.txt → docker/ubuntu-ci/CMakeLists.txt
diff --git a/docker/ubuntu/Dockerfile.in → docker/ubuntu-ci/Dockerfile.in b/docker/ubuntu/Dockerfile.in → docker/ubuntu-ci/Dockerfile.in
diff --git a/docker/ubuntu/README.rst → docker/ubuntu-ci/README.rst b/docker/ubuntu/README.rst → docker/ubuntu-ci/README.rst