mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-14 17:11:59 -05:00
This results in a much more slim-line container, requiring fewer resources to run. In addition, the majority of the build is now done using the Docker infrastructure, allowing for quicker rebuilds and better use of layers.