From 32e7994c6c8e77f01b2a35634b03ad5db0b6d4a9 Mon Sep 17 00:00:00 2001
From: DanyLE <xsang.le@gmail.com>
Date: Fri, 18 Aug 2023 11:58:07 +0200
Subject: [PATCH] add publish stage to Jenkinfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c88d2d0..1431cd8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -55,6 +55,7 @@ pipeline{
       }
     }
     stage("Publish") {
+      agent { node{ label'workstation' }}
       steps{
         sh'''#!/bin/bash
         export MACHINE="raspberrypi0-2w-64"