diff --git a/Jenkinsfile b/Jenkinsfile index 352f187..4247061 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,7 +37,7 @@ pipeline { sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} test-r6rs-docker" } } - } + }] } } }