diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..4a3c003 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,16 @@ +pipeline { + agent { + label "built-in" + } + stages { + stage("Build document") { + steps { + } + post { + always { + notifyDiscord() + } + } + } + } +}