From 1b6411bf017152edc2299547b87eacbd7e8dce93 Mon Sep 17 00:00:00 2001
From: DanyLE <xsang.le@gmail.com>
Date: Mon, 20 Mar 2023 19:40:54 +0100
Subject: [PATCH] change jenkins node to workstation

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e56f028..00bb697 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -30,7 +30,7 @@ def build_luad() {
 }
 
 pipeline {
-    agent { node { label'master' } }
+    agent { node { label'workstation' } }
     options {
         // Limit build history with buildDiscarder option:
         // daysToKeepStr: history is only kept up to this many days.