tree a00715d5e9e1b5954558459291d4b6a20dbd9207
parent 5526cdf11fe7b2cdc561ade9810c2a41872614b2
parent 8e086a6e71f565018040b7cb7ae6d47652d0f362
author Luca Milanesio <luca.milanesio@gmail.com> 1585848482 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1585848482 +0100

Merge branch 'stable-3.1'

* stable-3.1:
  Rely on Checks plugin ONLY for build validations
  Do not use Jenkins pipeline default checkout
  Adapt Jenkinsfile to the new project name and build

Change-Id: I18d287b8279088d6d2493e2763245873ca68b6f6