diff options
author | Marge Bot <marge@benkard.de> | 2023-01-08 18:36:27 +0000 |
---|---|---|
committer | Marge Bot <marge@benkard.de> | 2023-01-08 18:36:27 +0000 |
commit | fd6223fb43e1c5e56362c3d5bf2a467dbbd879ea (patch) | |
tree | 9f97838ef4b732ee8209a9fb763b09b8bbce20fe /jgvariant-ostree/src/test/java | |
parent | 1d3c84b0ef302ff3a0e2cf5e4b172176d42fd9e6 (diff) | |
parent | 801fa52dd67f57fd780cc036df272ab5207d799d (diff) |
Merge branch 'feature/better-ci' into 'master'
GitLab CI: Define cache, Maven options
See merge request mulk/jgvariant!19
Diffstat (limited to 'jgvariant-ostree/src/test/java')
0 files changed, 0 insertions, 0 deletions