Minor improvements that I noticed as I was trying to get Docker builds running on a new machine. @robkooper please let me know if I'm off-base on any of these.
Motivation and Context
Review Time Estimate
[ ] Immediately
[ ] Within one week
[ ] When possible
Types of changes
[ ] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[ ] Breaking change (fix or feature that would cause existing functionality to change)
Checklist:
[ ] My change requires a change to the documentation.
Description
Minor improvements that I noticed as I was trying to get Docker builds running on a new machine. @robkooper please let me know if I'm off-base on any of these.
Motivation and Context
Review Time Estimate
Types of changes
Checklist: