josibake 849f20a6d3 ci: create and use non-root user for docker image ...

Running all commands as the root user in the docker image
will change local file permissions in the ci and depends directory.

Add a non-root user to the container and use this user whenever
possible when running docker exec commands.

2022-11-21 18:11:28 +01:00

2.2 KiB

Executable File

Raw Blame History

View Raw