Closed
Description
As originally discussed in #1211 and worked around in #1384, the current docker image build process requires manually adding new dependencies. It should get them from running tools/install_prerequisites.sh
or some other mechanism (maybe a text file containing the names of dependencies?) so that we don't end up with silently broken images in the future.
Metadata
Metadata
Assignees
Labels
No labels