diff --git a/.github/workflows/update_docker_ci.yml b/.github/workflows/update_docker_ci.yml index 4e39830e3..cad387aac 100644 --- a/.github/workflows/update_docker_ci.yml +++ b/.github/workflows/update_docker_ci.yml @@ -8,7 +8,7 @@ on: push: branches: [develop] paths: - # CI image must update when either its dockerfile changes + # CI image must update when either its Dockerfile changes # or any compilers changed and were pushed by hand - "docker/ci/**" - "docker/compilers/**" diff --git a/docker/ci/dockerfile b/docker/ci/Dockerfile similarity index 97% rename from docker/ci/dockerfile rename to docker/ci/Dockerfile index ca743a87d..f69176ca1 100644 --- a/docker/ci/dockerfile +++ b/docker/ci/Dockerfile @@ -72,7 +72,7 @@ WORKDIR /root # Using root by default is not very secure but github checkout action doesn't work with any other user # https://github.com/actions/checkout/issues/956 # And Github Actions doc recommends using root -# https://docs.github.com/en/actions/creating-actions/dockerfile-support-for-github-actions#user +# https://docs.github.com/en/actions/sharing-automations/creating-actions/dockerfile-support-for-github-actions#user # Setup conan RUN conan remote add --insert 0 conan-non-prod http://18.143.149.228:8081/artifactory/api/conan/conan-non-prod diff --git a/docker/clio/dockerfile b/docker/clio/Dockerfile similarity index 100% rename from docker/clio/dockerfile rename to docker/clio/Dockerfile diff --git a/docker/compilers/clang-16/dockerfile b/docker/compilers/clang-16/Dockerfile similarity index 100% rename from docker/compilers/clang-16/dockerfile rename to docker/compilers/clang-16/Dockerfile diff --git a/docker/compilers/gcc-12/dockerfile b/docker/compilers/gcc-12/Dockerfile similarity index 100% rename from docker/compilers/gcc-12/dockerfile rename to docker/compilers/gcc-12/Dockerfile