diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 00000000..fa29520b --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,8 @@ +// Only run on Linux atm +wrappedNode(label: 'docker') { + deleteDir() + stage "checkout" + checkout scm + + documentationChecker("docs") +}