Update 'Jenkinsfile'

Jenkinsfile

@@ -1,5 +1,5 @@
 pipeline {
-    agent any
+    agent { label 'Ubuntu18-openjdk1.8'}
 
     stages {
         stage('Do nothing') {
@@ -7,5 +7,11 @@ pipeline {
                 sh '/bin/true'
             }
         }
+    stage('build') {
+            steps {
+                sh 'ant --version'
+                sh 'java -version'
+                sh 'mkdir ~/test_jenkins_mkdir'
+        }
     }
 }