tree 6b112f0d13048be8ec2cd4ed6f3b21938047ef6e
parent 4d10e3e8f1813ab8e36d98e3ccb5731715723d56
author Antonio García-Domínguez <agarcdomi@gmail.com> 1591286131 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1591286134 +0100

Core Jenkinsfile: allow for manual rebuilds