Matthias Clasen f41e58d179 ci: Make run-docker run work ...

We want to have a writable volume and the same user
inside the container.

2023-05-04 11:38:55 -04:00

3.9 KiB

Executable File

Raw Blame History

View Raw