diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e44f9787687f0f5384b1a3fc76fe87eb9dbc1392..e09b31c5c4f5820e04f8ba6dbf047bf4e95bfab0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,5 +22,5 @@ docker-build-autograder: before_script: - docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" $CI_REGISTRY script: - - docker build --pull -t "$CI_REGISTRY_IMAGE:autograder" Dockerfile_autograder + - docker build --pull -t "$CI_REGISTRY_IMAGE:autograder" autograder - docker push "$CI_REGISTRY_IMAGE:autograder" diff --git a/Dockerfile_autograder b/autograder/Dockerfile similarity index 100% rename from Dockerfile_autograder rename to autograder/Dockerfile