docker: Don't add user or group if they already exist - Githubissues

seL4 / rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

2 stars 2 forks source link

docker: Don't add user or group if they already exist #8

Closed nspin closed 9 months ago

nspin commented 9 months ago

This PR makes the Dockerfile more robust.