diff --git a/ci/.jenkinsfile b/ci/.jenkinsfile index d037977eedb4fc0b662b95f91b115b970b352994..3bb060fc8245dc792717580b5cfec2d6b27d5880 100644 --- a/ci/.jenkinsfile +++ b/ci/.jenkinsfile @@ -524,135 +524,6 @@ pipeline { } } - stage('helloworld (xen, x86_64)') { - steps { - script { - exeNum++ - result = sh(script:""" - #!/bin/bash - cd \$WORKSPACE - mkdir run_xen-x86_64 - cp -r apps/app-helloworld run_xen-x86_64/ - cp -r unikraft/* run_xen-x86_64/app-helloworld/workdir/unikraft - ln -s \$WORKSPACE/plats/plat-raspi run_xen-x86_64/app-helloworld/workdir/unikraft/plat/raspi - cd run_xen-x86_64/app-helloworld - cat>helloworld.cfg<fc-x86_64.json<