build : fix php83 dev image

This commit is contained in:
Jeremy Munsch 2026-09-17 11:48:53 +02:00
parent 26c26ffacd
commit 2c8bc1a2c8
No known key found for this signature in database
GPG key ID: 7A502D8B9839C78C

View file

@ -17,7 +17,8 @@ ENV http_proxy=${http_proxy} \
NO_PROXY=${no_proxy}
# Install PIE
ADD --chmod=0755 https://github.com/php/pie/releases/latest/download/pie.phar /usr/local/bin/pie
RUN curl -fsSL https://github.com/php/pie/releases/latest/download/pie.phar -o /usr/local/bin/pie \
&& chmod +x /usr/local/bin/pie
# Install system dependencies and PHP extensions
RUN apt-get update -qq && \