From 12a242d11f011e0d598e02b91517291e5a5049ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Floure?= <timothee.floure@posteo.net>
Date: Tue, 26 Nov 2019 16:30:31 +0100
Subject: [PATCH] Add CI build job

---
 .gitlab-ci.yml | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 002f5ea..a39c907 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,20 +18,3 @@ compile:
     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