From 929978fa87fb96bebe7d897dc50b72e21d72da5e Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <flip@noreply.zwietering.eu>
Date: Mon, 22 Apr 2024 14:58:34 +0000
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index bd372d7..826fe9d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent linux {
+    agent {linux} {
         stages {
             stage('Build') {
                 steps {