message: Activated push of CentOS images
diff: @@ -29,11 +29,10 @@ node('docker') {
  sh "rm Dockerfile"
  }
  stage('Push CentOS image') {
  - echo("Push of CentOS image disabled at the moment...")
  -// docker.withRegistry('https://registry.hub.docker.com', '051efa8c-aebd-40f7-9cfd-0053c413266e') {
  -// spectre_base.push("${env.BUILD_NUMBER}")
  -// spectre_base.push("latest")
  -// }
  + docker.withRegistry('https://registry.hub.docker.com', '051efa8c-aebd-40f7-9cfd-0053c413266e') {
  + spectre_base.push("${env.BUILD_NUMBER}")
  + spectre_base.push("latest")
  + }
  }
  stage('Build Fedora image') {
  