From e253be2c81dc8ae6815c49f79597b8d8f99cab44 Mon Sep 17 00:00:00 2001
From: Jan-Oliver Kaiser <janno@mpi-sws.org>
Date: Thu, 19 Jan 2017 13:43:23 +0100
Subject: [PATCH] Update .gitlab-ci.yml to include benchmark branches
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9114ed7f..d4b55529 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,4 +17,5 @@ gps-coq8.6:
- coq/opamroot/
only:
- master
+ - /^bench-.*$/
- opam-ci
--
GitLab