From df02010e0f9a61bb64b0a3e5aec07b8bfc096741 Mon Sep 17 00:00:00 2001
From: Daniel Ledda <ledda@cip.ifi.lmu.de>
Date: Sat, 28 Aug 2021 21:02:55 +0200
Subject: [PATCH] chore: put node tool back in Jenkinsfile lol

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c8bc67a..c209d70 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
   agent any
+  tools {
+    nodejs "node"
+  }
   stages {      
     stage('Build') {
       steps {