From d11b607267dcb277c01e7d02c9c554a0516bfb64 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Thu, 12 May 2022 02:50:45 -0500
Subject: [PATCH] Delete world folders in Jenkinsfile.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e7cccaf..d02cc0a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,7 @@ pipeline {
         stage("cleanup") {
             steps {
                 cleanWs(patterns: [[pattern: 'publish/**', type: 'INCLUDE']])
+                cleanWs(patterns: [[pattern: 'world/', type: 'INCLUDE']])
             }
         }
         stage("server launch test") {