Jenkinsfile-ontag

#!groovy
pipeline {
  agent { label 'public' }
  options {
    timeout(time: 30, unit: 'MINUTES')
  }
  stages {
    stage('Build Release') {
      steps {
        sh '''
          set -euo pipefail
          ./scripts/REL.sh
        '''
      }
    }
  }
  post {
    always {
      sh '''
        set -euo pipefail
        make stop
      '''
    }
  }
}