From e03f842eced9ceb14d685e2b13052788006d4f71 Mon Sep 17 00:00:00 2001
From: Benjamin Canou <benjamin@canou.fr>
Date: Wed, 31 Jan 2018 23:30:50 +0100
Subject: [PATCH] CI: add isolate tests

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 02ec37916..edceeaa83 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -124,6 +124,11 @@ test:p2p:pool:
   script:
     - jbuilder build @test/p2p/runtest_p2p_pool
 
+test:proto_alpha_isolate:
+  <<: *test_definition
+  script:
+    - jbuilder build @test/proto_alpha_isolate/runtest_isolate_main
+
 test:proto_alpha:transaction:
   <<: *test_definition
   script: