MinedMap/.github/workflows
Matthias Schiffer 8cb1eee60b
docker, ci: fix --version output
When building the docker image manually, MINEDMAP_VERSION needs to be
set explicitly to get a proper version string.
2025-02-22 11:15:47 +01:00
..
MinedMap.yml docker, ci: fix --version output 2025-02-22 11:15:47 +01:00