mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-14 12:35:22 +02:00
![]() We need a new docker container for GitHub that runs as the
same uid that GitHub actions uses so permissions all work
correctly.
(cherry picked from commit
|
||
---|---|---|
.. | ||
Dockerfile |