mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +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. |
||
---|---|---|
.. | ||
Dockerfile |