diff --git a/Jenkinsfile b/Jenkinsfile index 560e81e..71d2c14 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,6 +14,7 @@ pipeline { stage('check') { steps{ sh('make check') + sh('echo mwuhahaha') } } }