From 119562b9c5e96eb76218d01d1c16e938acaca736 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jjourdan@mpi-sws.org>
Date: Tue, 21 Jun 2016 10:54:53 +0200
Subject: [PATCH] Include jh_simplified_ressources in the CI branches
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6b5c12216..9010d5aae 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,6 +9,7 @@ buildjob:
- 'cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" > build-time.txt'
only:
- master
+ - jh_simplified_resources
artifacts:
paths:
- build-time.txt
--
GitLab