diff --git a/Jenkinsfile b/Jenkinsfile index f062ee1bde4e..072f2c3176a2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -80,6 +80,7 @@ pipeline { whenTrue(env.ONLY_DOCS == 'false') { cmd(label: "make check-python", script: "make check-python") cmd(label: "make check-go", script: "make check-go") + cmd(label: "make notice", script: "make notice") cmd(label: "Check for changes", script: "make check-no-changes") } }