From 054567144bbe9c00239c60b6aa0a11b71d5628c8 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Mon, 16 May 2022 14:59:53 -0500
Subject: [PATCH] Disabled concurrent builds in Jenkinsfile.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d96e698..7f299ec 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
     agent any
+    options {
+        disableConcurrentBuilds()
+    }
     stages {
         stage("run server") {
             when {