diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 982b9223..a0142f34 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -30,14 +30,18 @@ pipeline { deleteDir() gitCheckout(basedir: "${BASE_DIR}", githubNotifyFirstTimeContributor: true) stash allowEmpty: true, name: 'source', useDefaultExcludes: false + dir("${BASE_DIR}"){ + setEnvVar('GO_VERSION', readFile(".go-version").trim()) + } } } stage('Lint'){ steps { withGithubNotify(context: "Lint") { dir("${BASE_DIR}"){ - withMageEnv(){ - sh(label: 'Mage check', script: 'mage -v check') + withMageEnv(version: "${env.GO_VERSION}"){ + cmd(label: 'Mage notice', script: 'mage notice') + cmd(label: 'Mage check', script: 'mage -v check') } } }