[skip ci] Add comment for jenkinsfile-deprecated (#13137)

Signed-off-by: Jenny Li <jing.li@zilliz.com>
2021-12-10 10:44:01 +08:00 · 2021-12-10 10:44:01 +08:00 · cc0621b319
parent 1c07356949
commit cc0621b319
1 changed files with 1 additions and 2 deletions
--- a/build/ci/jenkins/Jenkinsfile
+++ b/build/ci/jenkins/Jenkinsfile
@ -1,8 +1,7 @@
 #!/usr/bin/env groovy
-
+// change to use pr.groovy in current ci workflow
 int total_timeout_minutes = 120
 int e2e_timeout_seconds = 70 * 60
-
 pipeline {
    agent none
    options {