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
Sorry, after merging this PR, I found that the CI got failed: https://github.com/sile/jsone/actions/runs/1049543994 I'll investigate the reason and fix it.
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