Update Jenkinsfile

Author: noisegrrrl

Jenkinsfile

@@ -1,10 +1,5 @@
 pipeline {
-  agent {
-    dockerfile {
-      filename 'Dockerfile'
-    }
-
-  }
+  agent { label 'clever-ci'}
   stages {
     stage('build') {
       steps {
@@ -13,4 +8,4 @@ pipeline {
     }
 
   }
-}
+}