Closed michalmuskala closed 3 years ago
This was resulting in covertool being pulled-in as a dependency needlessly in downstream projects in some situations.
covertool
Using it as a project_plugin is advised by covertool itself.
project_plugin
More on plugins vs project plugins: https://rebar3.readme.io/docs/using-available-plugins
Thanks for your contribution and your interest in PropEr but tere is a similar PR (#283) that beat this one in a race.... I am closing this.
This was resulting in
covertool
being pulled-in as a dependency needlessly in downstream projects in some situations.Using it as a
project_plugin
is advised bycovertool
itself.More on plugins vs project plugins: https://rebar3.readme.io/docs/using-available-plugins