commit | 0c02b7bf4b025fe21a885187e815af4a26b7415f | [log] [tgz] |
---|---|---|
author | Thomas Bouron <tbouron@gmail.com> | Thu Dec 05 10:50:42 2019 +0000 |
committer | GitHub <noreply@github.com> | Thu Dec 05 10:50:42 2019 +0000 |
tree | 1c28ba185d6122aa0b9a72e95b8ef03aa7065ddd | |
parent | 510a3881cc70b1c054794e4736a8e14bd1d6ffa6 [diff] | |
parent | 0f56b319709e709474dba6d145077632f464e6fb [diff] |
Merge pull request #80 from tbouron/feature/jenkins Reuse local maven cache + add PR comment trigger