tree 13ced9cd82343517ae424df0b830f163a1b184d5
parent f105f6d990a2c87c9107e7510f757550fd68b808
author Luca Milanesio <luca.milanesio@gmail.com> 1589315233 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1589318715 +0000

Jenkinsfile: use gerrit-ci-library pipeline for plugin validation

Change-Id: I470392344609dfc300d268491e0e4f415f869fa5