summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLuca Milanesio <luca.milanesio@gmail.com>2020-11-11 21:11:54 +0000
committerLuca Milanesio <luca.milanesio@gmail.com>2020-11-17 08:57:54 +0000
commitc8d81c4ab6784d9ccd9bceb5189d89c0a892eef2 (patch)
tree0fea5401b39f6ab31177d6fd9642413eb146ab5d
parentf4da11a04a358bf62c48186490db60c810b7b4fb (diff)
Validate Gerrit changes on stable-2.15 with Jenkins
Change-Id: I35c47ba60c08e8d5d1f767672b5e83b7d29fea1b (cherry picked from commit 1346eab23259f8dc4adec9cb098e2f818c9cf79d)
-rw-r--r--Jenkinsfile1
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()