From 8db921940171ae7c0405fd7ab0b12d76ce56693a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Floure?= <timothee.floure@posteo.net>
Date: Wed, 30 Oct 2019 15:29:44 +0100
Subject: [PATCH] Do not run CI on tags

---
 .gitlab-ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ca724d2..1372b2b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,6 +8,8 @@ stages:
 compile:
   stage: build
   image: lampepfl/moocs-dotty:2019-09-17-2
+  except:
+    - tags
   tags:
     - cs210
   script:
@@ -19,6 +21,8 @@ compile:
 
 grade:
   stage: grade
+  except:
+    - tags
   tags:
     - cs210
   image: