diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..96dcb20 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,33 @@ +# This configuration is not used for the final grading, you can change it if +# you know what you're doing. + +stages: + - build + - grade + +compile: + stage: build + image: lampepfl/moocs-dotty:2019-09-17-2 + tags: + - cs210 + script: + - sbt packageSubmission + artifacts: + expire_in: 1 day + paths: + - submission.jar + +grade: + stage: grade + tags: + - cs210 + image: + name: registry.gitlab.com/fnux/cs210-grading-images/progfun1-patmat:20191016-626d0012efc94653bff8736b2570386000f65ea2 + entrypoint: [""] + allow_failure: true + before_script: + - mkdir -p /shared/submission/ + - cp submission.jar /shared/submission/submission.jar + script: + - cd /grader + - /grader/grade | /grader/feedback-printer