updated jenkins file

2018-08-08 21:54:45 +02:00
parent 71163182ec
commit 668d42d759
1 changed files with 1 additions and 2 deletions
@@ -1,6 +1,5 @@
 pipeline {
-	agent any
-	stages {
+	agent {
 		label 'linux && debian && teaspeak'
 	}