jeanluc bb0891cd7d Docker: Allow selection of (unprivileged) UID/GID at build time (#418) ...

* Docker: use custom non-root UID/GID (build-arg)

2022-04-03 14:55:15 +02:00

..

build

Build more binary releases (#395)

2021-08-19 20:57:42 +02:00

workflows

Docker: Allow selection of (unprivileged) UID/GID at build time (#418)

2022-04-03 14:55:15 +02:00