Merge branch 'master' into gb_async_calls

dmlc · Jul 16, 2024 · 540eff8 · 540eff8
2 parents 80fa1de + 50a0ae8
commit 540eff8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -158,7 +158,7 @@ def is_authorized(name) {
     'frozenbugs', 'peizhou001', 'zheng-da', 'czkkkkkk', 'thvasilo',
     // Intern:
     'keli-wen', 'caojy1998', 'RamonZhou', 'xiangyuzhi', 'Skeleton003', 'yxy235',
-    'hutiechuan', 'pyynb', 'az15240', 'BowenYao18',
+    'hutiechuan', 'pyynb', 'az15240', 'BowenYao18', 'kec020',
     // Friends:
     'nv-dlasalle', 'yaox12', 'chang-l', 'Kh4L', 'VibhuJawa', 'kkranen',
     'TristonC', 'mfbalin',