| commit | b3e051d235c8ffb6b336c276c5b9660e923bd116 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Sat Sep 05 11:30:48 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Sat Sep 05 11:31:00 2020 +0100 |
| tree | 679bf66ce3edf8317dc7b8c86998232c6cb3fba9 | |
| parent | 9b53a6c1bdb6893a9fc4b8ac6007035525e578b5 [diff] |
Jenkinsfile: try using the same agent for the whole pipeline