From 8d1e46ec43eb47fd763b4e2b19b02ffdf198d018 Mon Sep 17 00:00:00 2001
From: easyscheduler <escheduler@outlook.com>
Date: Thu, 15 Aug 2019 16:35:58 +0800
Subject: [PATCH] use Jenkins (#706)

* Update EasyScheduler Proposal.md

* update proposal
---
 docs/en_US/EasyScheduler Proposal.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/en_US/EasyScheduler Proposal.md b/docs/en_US/EasyScheduler Proposal.md
index 1d5968a844..c01c368f4c 100644
--- a/docs/en_US/EasyScheduler Proposal.md	
+++ b/docs/en_US/EasyScheduler Proposal.md	
@@ -1384,7 +1384,7 @@ The community would like to continue using GitHub Issues.
 
 ### Continuous Integration tool
 
-Travis
+Jenkins
 
 ### Mailing Lists