Per #12, replace Centos image with Debian one

dtcenter · Aug 25, 2023 · 86e5519 · 86e5519
1 parent e9035de
commit 86e5519
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 100 deletions.
diff --git a/.github/jobs/build_docker_image.sh b/.github/jobs/build_docker_image.sh
@@ -5,7 +5,7 @@ MET_BASE_TAG=${GITHUB_TAG}
 
 DOCKERHUB_TAG_BASE=${DOCKERHUB_BASE_REPO}:${MET_BASE_TAG}
 
-DOCKERFILE_PATH=${GITHUB_WORKSPACE}/Dockerfile.debian
+DOCKERFILE_PATH=${GITHUB_WORKSPACE}/Dockerfile
 
 CMD_LOGFILE=${GITHUB_WORKSPACE}/docker_build_base_image.log
 
@@ -18,7 +18,7 @@ fi
 
 DOCKERHUB_TAG_UNIT_TEST=${DOCKERHUB_UNIT_TEST_REPO}:${GITHUB_TAG}
 
-DOCKERFILE_PATH=${GITHUB_WORKSPACE}/Dockerfile.debian_unit_test_env
+DOCKERFILE_PATH=${GITHUB_WORKSPACE}/Dockerfile.unit_test_env
 
 CMD_LOGFILE=${GITHUB_WORKSPACE}/docker_build_unit_test_env.log
 

diff --git a/Dockerfile.debian b/Dockerfile.debian
diff --git a/Dockerfile.debian_unit_test_env b/Dockerfile.debian_unit_test_env