pipeline {
   agent {
      dockerfile {
        filename "Dockerfile_4"
    }
   }  
   stages {  
      stage('Archive Output') {
         steps {
            archiveArtifacts 'metrics.txt'
         }
      }
   }
}