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*) ##
 ############################################################