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-11 23:09:49 +0000 |
commit | 1346eab23259f8dc4adec9cb098e2f818c9cf79d (patch) | |
tree | a78a44144a61465fe9af93aa8cbc4bc370515b5d | |
parent | 3c9320d98ee978ab812e1d2b5a475e9ff46d3bea (diff) |
Validate Gerrit changes on stable-2.15 with Jenkins
Change-Id: I35c47ba60c08e8d5d1f767672b5e83b7d29fea1b
-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() |