From fdcce8252667262ca6d9d9da01cbcd31609a1b68 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 22 Feb 2017 11:51:49 +0100
Subject: [PATCH] Bench.
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46f5c7fa5..0fdf927a3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ iris-coq8.6:
- master
- ci
- timing
+ - seal_ires
artifacts:
paths:
- build-time.txt
--
GitLab