From d24e05b271619f122562690b1b0501a012ccb1eb Mon Sep 17 00:00:00 2001
From: Daniel Ledda <ledda@cip.ifi.lmu.de>
Date: Sat, 28 Aug 2021 21:47:35 +0200
Subject: [PATCH] chore: fixed node toolname in Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 94fa715..ba65b1f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent any
     tools {
-        nodejs "node"
+        nodejs "nodejs-default"
     }
     stages {
         stage('Build') {