From bb16bae7bbc73e020edffc4259cd2b3b37b848d6 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Sun, 5 Mar 2017 21:40:24 +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..7174dcbe0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,7 @@ iris-coq8.6:
- master
- ci
- timing
+ - strong_frame
artifacts:
paths:
- build-time.txt
--
GitLab