Ban --no-dev-deps with builds that require dev-dependencies#16

Merged

bors[bot] merged 1 commit intomasterfrom dev-deps

Nov 6, 2019

+96

Commits on Nov 6, 2019

Ban --no-dev-deps with builds that require dev-dependencies
taiki-e
committed