diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2020-11-11 21:11:54 +0000 |
---|---|---|
committer | Luca Milanesio <luca.milanesio@gmail.com> | 2020-11-17 08:57:54 +0000 |
commit | c8d81c4ab6784d9ccd9bceb5189d89c0a892eef2 (patch) | |
tree | 0fea5401b39f6ab31177d6fd9642413eb146ab5d | |
parent | f4da11a04a358bf62c48186490db60c810b7b4fb (diff) |
Validate Gerrit changes on stable-2.15 with Jenkins
Change-Id: I35c47ba60c08e8d5d1f767672b5e83b7d29fea1b
(cherry picked from commit 1346eab23259f8dc4adec9cb098e2f818c9cf79d)
-rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000000..565dd45586 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1 @@ +gerritPipeline() |