diff --git a/contrib/ci/Jenkinsfile b/contrib/ci/Jenkinsfile index 5ecbe203..4ab6300d 100644 --- a/contrib/ci/Jenkinsfile +++ b/contrib/ci/Jenkinsfile @@ -1,27 +1,27 @@ pipeline { - agent { label 'gluon-docker' } - environment { - GLUON_SITEDIR = "contrib/ci/minimal-site" - GLUON_TARGET = "x86-64" - BUILD_LOG = "1" - } - stages { - stage('lint') { - steps { - sh 'luacheck package scripts targets' - } - } - stage('docs') { - steps { - sh 'make -C docs html' - } - } - stage('build') { - steps { - sh 'make update' - sh 'test -d /dl_cache && ln -s /dl_cache openwrt/dl || true' - sh 'make -j$(nproc) V=s' - } - } - } + agent { label 'gluon-docker' } + environment { + GLUON_SITEDIR = "contrib/ci/minimal-site" + GLUON_TARGET = "x86-64" + BUILD_LOG = "1" + } + stages { + stage('lint') { + steps { + sh 'luacheck package scripts targets' + } + } + stage('docs') { + steps { + sh 'make -C docs html' + } + } + stage('build') { + steps { + sh 'make update' + sh 'test -d /dl_cache && ln -s /dl_cache openwrt/dl || true' + sh 'make -j$(nproc) V=s' + } + } + } }