From 10c2406ce63eea5676a47bf7485f2caec7884323 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=BD=20Kim=20Quy=C3=AAn?= <kim-quyen.ly@tezcore.com>
Date: Wed, 20 Feb 2019 12:03:29 +0100
Subject: [PATCH] add test

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4eb984513..5ceaf905f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -213,6 +213,11 @@ test:validation:
   script:
     - dune build @src/lib_validation/runtest
 
+test:micheline:
+  <<: *test_definition
+  script:
+    - dune build @src/lib_micheline/runtest
+
 ############################################################
 ## Stage: building opam packages (only master and *opam*) ##
 ############################################################