diff --git a/Jenkinsfile b/Jenkinsfile index 4c9e667..2e76b57 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,6 +11,18 @@ pipeline { IMAGE_REPO = 'veenm' // Naam van de Docker-image IMAGE_NAME = 'jobfindr-jvm' // Naam van de Docker-image IMAGE_TAG = 'latest' + MAILER_FROM='MAILER_FROM' + MAILER_HOST='MAILER_HOST' + MAILER_PORT='MAILER_PORT' + MAILER_USERNAME='MAILER_USERNAME' + MAILER_PASSWORD='MAILER_PASSWORD' + + DB_HOST='DB_HOST' + DB_PORT='DB_PORT' + DB_USERNAME='DB_USERNAME' + DB_PASSWORD='DB_PASSWORD' + + CORS_ORIGINS='CORS_ORIGINS' } stages { @@ -42,7 +54,7 @@ pipeline { } } - stage('Push Docker Image (Optional)') { + stage('Push Docker Image') { steps { script { // Push de Docker-image naar een Docker Registry