New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Severity to be emitted as metrics is configurable now #5

Merged

alok87 merged 2 commits into master from configure-severity

Jun 26, 2020

Contributor

alok87 commented Jun 26, 2020

Severity to be emitted as metrics is configurable now

alok87 force-pushed the configure-severity branch from 1dd7d26 to 5b98ef5 Compare

June 26, 2020 04:45


          Severity to be emitted as metrics is configurable

8f1ea1b

alok87 force-pushed the configure-severity branch from 5b98ef5 to 8f1ea1b Compare

June 26, 2020 04:48


          Travis and format

c5f0196

alok87 merged commit aab7b18 into master

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet