10 commits

Author	SHA1	Message	Date
Matthias Schiffer	23b2f274be	ci, docker: update to Rust 1.85.1	2025-04-02 19:04:15 +02:00
Matthias Schiffer	5ee826a11b	ci: set fixed Rust version 1.85 ... Avoid CI failure due to new warnings or fmt changes in new Rust version.	2025-03-13 21:55:36 +01:00
Matthias Schiffer	fbdd5ed457	Dockerfile: switch back to docker.io/library/rust:alpine image ... bincode 2 required Rust 1.85, so our options are to switch to Alpine edge or to use the rust image. While using the rust image results in a statically linked binary, this does not actually increase the size of the image, as we were already using jemalloc, so almost nothing of libc is actually used.	2025-03-13 21:50:50 +01:00
Matthias Schiffer	f8c8ca78ba	Switch from zlib-ng to zlib-rs ... zlib-rs provides the same performance as zlib-ng with minedmap, while reducing the amount of C code and avoiding the external build dependency on CMake.	2025-02-28 12:43:47 +01:00
Matthias Schiffer	24c266fc78	docker: set ARG after apk add ... Allow reusing apk add layer when MINEDMAP_VERSION has changed. Signed-off-by: Matthias Schiffer <mschiffer@universe-factory.net>	2025-02-22 11:29:10 +01:00
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
Matthias Schiffer	282f62fc30	docker: run minedmap as unpriviledged user	2025-02-22 04:02:10 +01:00
Matthias Schiffer	850b1a668b	docker: use lowercase stage name	2025-02-21 19:08:51 +01:00
Matthias Schiffer	3b5ce82873	docker: include Alpine base tools, tini ... Including tini fixes forwarding signals to MinedMap, allowing to interrupt it using Ctrl-C. The base tools may be used to add a wrapper script to configure MinedMap with environment variables. As the Alpine base is included now, we can switch from the rust:alpine image to alpine:latest, resulting in MinedMap to be linked dynamically.	2025-02-21 10:55:50 +01:00
kek.rs	2156bff59a	Add Dockerfiles (#56)	2024-12-17 00:05:12 +01:00