commit | 21c4a623fd7d40947b1468620ad39065200e9df8 | [log] [tgz] |
---|---|---|
author | Romain Manni-Bucau <rmannibucau@gmail.com> | Tue Nov 05 09:17:53 2019 +0100 |
committer | Romain Manni-Bucau <rmannibucau@gmail.com> | Tue Nov 05 09:17:53 2019 +0100 |
tree | cb9c8e3b9e6b2ad4b09f392c396ef22aab9f917e | |
parent | 895ac2000ff282f4e927b944fda2a29b133c2f0e [diff] |
trying to override maven repository for github actions build to ensure we can cache it