From 0796b0355abbe5f811ace8e40ea0121206c6f2dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Wed, 6 Feb 2019 17:01:44 +0100
Subject: [PATCH] CI: test that the various `dune.inc` are up-to-date

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5ceaf905f..b2a3f27c4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -51,6 +51,7 @@ check_indentation:
 build:
   <<: *build_definition
   script:
+    - dune build @runtest_dune_template
     - make all
   artifacts:
     paths: