[Jenkins] Add label

2023-03-24 17:46:11 +08:00 · 2023-03-24 17:46:11 +08:00 · 80a5b3e868
parent 1ecba39188
commit 80a5b3e868
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -6,7 +6,7 @@
 //

 pipeline {
-    agent any
+    agent { label "linux-x64" }
    environment {
        GIT_USER_EMAIL = sh(
      script: 'git --no-pager show -s --format="%ae"',