diff --git a/Jenkinsfile b/Jenkinsfile index 63ee38c..880e5c2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,6 +28,18 @@ pipeline { } stages { + stage('Validate PR Source') { + when { + expression { env.CHANGE_FORK } + not { + triggeredBy 'issueCommentCause' + } + } + steps { + error("A maintainer needs to approve this PR for CI by commenting") + } + } + stage('Test Suite') { matrix { axes {