Merge branch 'master' into develop

This commit is contained in:
Maciej Barelkowski 2020-02-05 13:40:50 +01:00
commit 0c0ebea49f
1 changed files with 3 additions and 3 deletions

View File

@ -25,8 +25,8 @@ stages:
- name: update integration test
if: tag =~ ^v\d
- name: update examples
if: tag =~ ^v\d
if: tag =~ ^v\d+\.\d+\.\d+$
- name: update demo
if: tag =~ ^v\d
if: tag =~ ^v\d+\.\d+\.\d+$
- name: update website
if: tag =~ ^v\d
if: tag =~ ^v\d+\.\d+\.\d+$