[Misc] Added 'Skeleton003' to the Jenkinsfile (#6251)

155608d3 · MB Wang · GitHub · d387e8e3 · 155608d3
Unverified Commit 155608d3 authored Aug 31, 2023 by MB Wang Committed by GitHub Aug 31, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Jenkinsfile Jenkinsfile +1 -1

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -157,7 +157,7 @@ def is_authorized(name) {
    'rudongyu', 'classicsong', 'HuXiangkun', 'hetong007', 'kylasa',
    'frozenbugs', 'peizhou001', 'zheng-da', 'czkkkkkk', 'thvasilo',
    // Intern:
-    'keli-wen', 'caojy1998', 'RamonZhou', 'xiangyuzhi',
+    'keli-wen', 'caojy1998', 'RamonZhou', 'xiangyuzhi', 'Skeleton003',
    // Friends:
    'nv-dlasalle', 'yaox12', 'chang-l', 'Kh4L', 'VibhuJawa', 'kkranen',
    'bgawrych', 'itaraban', 'daniil-sizov', 'anko-intel', 'Kacper-Pietkun',