added manual trigger to deploy

This commit is contained in:
Vladyslav Usenko 2019-05-15 09:24:35 +02:00
parent ec79f174f2
commit 7db51ca51f
1 changed files with 1 additions and 0 deletions

View File

@ -195,6 +195,7 @@ gen_results_euroc:
# deploy deb packages # deploy deb packages
deploy: deploy:
stage: deploy stage: deploy
when: manual
variables: variables:
GIT_STRATEGY: none GIT_STRATEGY: none
tags: tags: