From 43537c9517b2d38666c05e330f4ea6c9f0cba409 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Mon, 16 May 2022 20:21:44 -0500
Subject: [PATCH] Pipeline is now selective of build agent.

---
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 54613c3..f75bf3d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,8 +1,11 @@
 pipeline {
-    agent any
+    agent {
+        label 'linux && increased_mem'
+    }
     options {
         disableConcurrentBuilds()
     }
+
     stages {
         stage("run server") {
             when {