diff --git a/Jenkinsfile b/Jenkinsfile index 503bc96..b322d81 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,6 @@ pipeline { agent any + tools { nodejs "NodeJS (sern snippets)" } stages { stage('Build VSCode extension') {