Skip to content

[ES] Sync Dockerfile and Makefile: add UID/GID args#420

Merged
PhilDaiguille merged 1 commit intophp:masterfrom
lacatoire:fix/docker-makefile
Mar 9, 2026
Merged

[ES] Sync Dockerfile and Makefile: add UID/GID args#420
PhilDaiguille merged 1 commit intophp:masterfrom
lacatoire:fix/docker-makefile

Conversation

@lacatoire
Copy link
Member

Fixes #383

@PhilDaiguille PhilDaiguille merged commit ee21e84 into php:master Mar 9, 2026
2 checks passed
@lacatoire lacatoire deleted the fix/docker-makefile branch March 10, 2026 08:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Sync EN] Fix 2 docker build problems: volume name too short, dubious ownership

2 participants