tree 9f97838ef4b732ee8209a9fb763b09b8bbce20fe
parent 1d3c84b0ef302ff3a0e2cf5e4b172176d42fd9e6
parent 801fa52dd67f57fd780cc036df272ab5207d799d
author Marge Bot <marge@benkard.de> 1673202987 +0000
committer Marge Bot <marge@benkard.de> 1673202987 +0000

Merge branch 'feature/better-ci' into 'master'

GitLab CI: Define cache, Maven options

See merge request mulk/jgvariant!19