diff --git a/Jenkinsfile b/Jenkinsfile index 0f98c1d..8f2c617 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,13 +10,26 @@ pipeline { stage('Build') { steps { + sh 'make -j$(nproc) build', sh 'make -j$(nproc) test' } } stage('Test') { steps { - sh './tester' + sh './tester test/testcases_sort_official', + sh './tester test/testcases_sort_custom', + + try { + sh './tester test/testcases_sort_wrong' + error("Wrong test indicates success!") + } catch (Exception e) {} + } + } + + stage('Clean Up') { + steps { + sh 'make clean' } } }