tree 77bc9a85168f6fad215d1985aa7a90441412f2e3
parent 9c1f7d9b017241ec95959222abc485086f48946d
author Luca Milanesio <luca.milanesio@gmail.com> 1589318529 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1589318734 +0000

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

Change-Id: I2677099818336155599154a9ed5b55f9d1b84441