| commit | fd6223fb43e1c5e56362c3d5bf2a467dbbd879ea | [log] [tgz] |
|---|---|---|
| author | Marge Bot <marge@benkard.de> | Sun Jan 08 18:36:27 2023 +0000 |
| committer | Marge Bot <marge@benkard.de> | Sun Jan 08 18:36:27 2023 +0000 |
| tree | 9f97838ef4b732ee8209a9fb763b09b8bbce20fe | |
| 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