do CI in 3.0 branch

783e8a10 · Ralf Jung · 7ceb1a82 · 783e8a10
Commit 783e8a10 authored Jan 13, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

.gitlab-ci.yml .gitlab-ci.yml +2 -2

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,7 +18,7 @@ iris-coq8.5.3:
  only:
  - master
  - ci
-  - timing
+  - iris-3.0
  artifacts:
    paths:
    - build-time.txt
@@ -38,4 +38,4 @@ iris-coq8.6:
  only:
  - master
  - ci
-  - timing
+  - iris-3.0