| commit | 9ce2504fdcb1af149f4f3424fc0d0cae9c6b2ea9 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Mon May 25 14:50:02 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Mon May 25 14:50:02 2020 +0100 |
| tree | e7ebf5c995d0b67d94a9f856cc93c5d8ceb2a308 | |
| parent | f591a5d40b4b02b01be8ba4e95b7ebcdeb4a3b74 [diff] |
Non-core Jenkinsfiles should trigger builds when target platform changes
