Add branch rk/substitution to gitlab-ci.yml.

6076bbc6 · Robbert Krebbers · 4d81d151 · 6076bbc6
Commit 6076bbc6 authored Jul 15, 2016 by Robbert Krebbers
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,6 +11,7 @@ buildjob:
  only:
  - master
  - jh_simplified_resources
+  - rk/substitition
  artifacts:
    paths:
    - build-time.txt