From 28ac93a22653b44bccfaad9b2ce50ff2d3d6f12c Mon Sep 17 00:00:00 2001
From: milvus-ci-robot <milvus-ci-robot@zilliz.com>
Date: Thu, 31 Oct 2019 14:30:55 +0800
Subject: [PATCH] make sure to put #!/usr/bin/env groovy at the top of the
 Jenkinsfile

Former-commit-id: 5af0774e12ea9d10f3fe10b77336df22d748c7de
---
 ci/jenkins/Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile
index 24f97274..40d96864 100644
--- a/ci/jenkins/Jenkinsfile
+++ b/ci/jenkins/Jenkinsfile
@@ -1,3 +1,5 @@
+#!/usr/bin/env groovy
+
 String cron_timezone = "TZ=Asia/Shanghai"
 String cron_string = BRANCH_NAME == "master" ? "H 0 * * * " : ""
 cron_string =  BRANCH_NAME == "0.5.1" ? "H 1 * * * " : cron_string
-- 
GitLab