Update Jenkinsfile (#5494)

0dd4f767 · Hongzhi (Steve), Chen · GitHub · 9e532e7d · 0dd4f767
Unverified Commit 0dd4f767 authored Mar 24, 2023 by Hongzhi (Steve), Chen Committed by GitHub Mar 24, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Jenkinsfile Jenkinsfile +2 -1

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -125,7 +125,8 @@ def is_authorized(name) {
              'czkkkkkk',
              'nv-dlasalle', 'yaox12', 'chang-l', 'Kh4L', 'VibhuJawa',
              'kkranen',
-              'bgawrych', 'itaraban', 'daniil-sizov',
+              'bgawrych', 'itaraban', 'daniil-sizov', 'anko-intel', 'Kacper-Pietkun',
+              'hankaj', 'agrabows', 'DominikaJedynak', 'RafLit',
              'VoVAllen',
              ]
  return (name in devs)