Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Add extra modules to main dockerfile #650
Description of the PR
Fix for #648.
Pulls in additional modules so that the
This does give us a ~400 MB container, though. I think we could shrink it back down somewhat by deleting all the mvn outputs save for