diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000..002f5ea --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,37 @@ +# 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 + except: + - tags + tags: + - cs210 + script: + - sbt packageSubmission + artifacts: + expire_in: 1 day + paths: + - submission.jar + +grade: + stage: grade + except: + - tags + tags: + - cs210 + image: + name: registry.gitlab.com/fnux/cs210-grading-images/progfun2-quickcheck:20191030-a3e376e6385659be92ad7972a94c2f289fdfafb7 + 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