Hi,
I noticed that the latest merged PR causes the Jenkins Pipeline failed.
I will fixed it quickly.
Best,
-----------------------------------
Xiangdong Huang
School of Software, Tsinghua University

 黄向东
清华大学 软件学院

Reply via email to