aboutsummaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorChristian Segundo2024-04-06 22:32:02 +0200
committerChristian Segundo2024-04-07 03:35:46 +0200
commitd4b6f246e6a16110650a57185b3d9b5acb579cf1 (patch)
tree98cf60468de04f1b70429a229072270dca6c6a98 /Jenkinsfile
parent6e7734ff026b5be928703a4ad31ba4abaaf1535b (diff)
downloadlanguagetool-d4b6f246e6a16110650a57185b3d9b5acb579cf1.tar.gz
move ci
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile21
1 files changed, 21 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..67faa30
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,21 @@
+pipeline {
+ agent any
+ options { ansiColor('xterm') }
+ stages {
+ stage('Check') {
+ agent {
+ docker {
+ image 'ghcr.io/super-linter/super-linter:latest'
+ args '--entrypoint ""'
+ }
+ }
+ steps { sh 'bash .scripts.d/10-check.sh' }
+ }
+ stage('Build') { steps { sh 'bash .scripts.d/20-build.sh' } }
+ stage('Test') { steps { sh 'bash .scripts.d/30-test.sh' } }
+ stage('Publish') {
+ environment { DOCKERHUB_TOKEN = credentials('DOCKERHUB_TOKEN') }
+ steps { sh 'bash .scripts.d/40-publish.sh' }
+ }
+ }
+}