From dda61be439cd89484f93cd48865cef160c8aa0d3 Mon Sep 17 00:00:00 2001
From: Vladyslav Usenko <vlad.usenko@tum.de>
Date: Thu, 18 Apr 2019 13:39:31 +0200
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index facdc94..f638de4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -96,6 +96,8 @@ gen_results_euroc:
   variables:
     GIT_STRATEGY: none
   when: on_success
+  tags: 
+    - docker
   only:
     - master
   artifacts:
@@ -110,6 +112,8 @@ gen_results_euroc:
 
 deploy:
   stage: deploy
+  tags: 
+    - docker
   before_script:
     - eval $(ssh-agent -s)
     - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null