diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 000000000..a4abbd076 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,35 @@ +pipeline { + agent { + docker 'cuberite/docker-ci/minimal:latest' + } + stages { + stage("Prepare") { + steps { + sh 'git submodule update --init' + } + } + stage("Check") { + parallel { + stage("CheckBasicStyle") { + steps { + dir("src") { + sh 'find . -name \\*.cpp -or -name \\*.h > AllFiles.lst' + sh 'lua CheckBasicStyle.lua' + sh 'cd Bindings && lua CheckBindingsDependencies.lua' + } + } + } + stage("clang-tidy") { + steps { + sh './clang-tidy.sh -j 3' + } + } + } + } + stage("Build") { + steps { + sh 'echo "TODO: Replace Travis here."' + } + } + } +} |