| commit | 942f863028b33a24e279100eccae46f7378a0e18 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Tue May 12 17:31:14 2020 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Tue May 12 21:25:48 2020 +0000 |
| tree | 303e0a4cfb3ae2c065500447e09c68e9654065d3 | |
| parent | 468fbe5cbcc8c47dca490a571f52e52c79683c40 [diff] |
Jenkinsfile: use gerrit-ci-library pipeline for plugin validation Change-Id: I3e8cf5391506ec7119f5951fab77acfcf5e9e4c4