🐛 set numerical UID/GID in Docker image

#1805
1 job for devel in 3 minutes and 6 seconds (queued for 4 seconds)