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

This reverts commit 6076bbc6.

Revert "Add branch rk/substitution to gitlab-ci.yml."
This reverts commit 6076bbc6.
b598e0d5 · Robbert Krebbers · 6076bbc6 · b598e0d5
Commit b598e0d5 authored Jul 16, 2016 by Robbert Krebbers
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,6 @@ buildjob:
  only:
  - master
  - jh_simplified_resources
-  - rk/substitition
  artifacts:
    paths:
    - build-time.txt