Override uid of default user in container to align with GitHub-hosted runners#105

Merged

pcolberg merged 2 commits intointel:mainfrom

pcolberg:container-uid

Apr 18, 2022

Commits on Apr 15, 2022

Support overriding uid of default user in container
pcolberg
committed
Override uid of default user in container to align with GitHub-hosted runners
pcolberg
committed