diff --git a/config/.gitkeep b/config/.gitkeep deleted file mode 100644 index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000 diff --git a/config/grading-gitlab-ci.yml b/config/grading-gitlab-ci.yml deleted file mode 100644 index 90dff6218df5eed1ce3478d22f43ff73b714f2d8..0000000000000000000000000000000000000000 --- a/config/grading-gitlab-ci.yml +++ /dev/null @@ -1,44 +0,0 @@ -# This CI config file is not used in this repository but instead referenced -# from each student project (https://gitlab.epfl.ch/help/ci/pipelines/settings#custom-ci-configuration-path) -# and used to grade them. - -workflow: - rules: - # Don't run the CI on commit messages contain "[no-ci]", used to deploy - # assignments without overloading the CI. - - if: $CI_COMMIT_MESSAGE !~ /\[no-ci\]/ - -stages: - - build - - grade - -compile: - stage: build - timeout: 10m - image: ${DOCKER_REPO}/compile - tags: - - cs320 - except: - - tags - - main - script: - - sbt packageSubmission - # Output of this job that needs to be stored to be reused in the grade job below - artifacts: - expire_in: 24h - paths: - - submission.jar - -grade: - stage: grade - timeout: 10m - except: - - tags - - main - tags: - - cs320 - variables: - JAR_PATH: "${CI_PROJECT_DIR}/submission.jar" - image: ${DOCKER_REPO}/grader-${CI_COMMIT_BRANCH} - allow_failure: true - script: "😎"