Philipp Rosenkranz 8c9cbdae37 dist: make drone build script fail if gh label not set

2015-07-16 17:21:29 +02:00

..

build_and_test.sh

dist: make drone build script fail if gh label not set

2015-07-16 17:21:29 +02:00