Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

add oss fuzz badge #1315

Merged
merged 1 commit into from
Sep 19, 2019
Merged

add oss fuzz badge #1315

merged 1 commit into from
Sep 19, 2019

Conversation

pauldreik
Copy link
Contributor

Added a nice shiny oss fuzz badge. The link appears to be wrong, but it isn't, there have been no bugs found by oss fuzz so far :-)

@vitaut vitaut merged commit 840a817 into fmtlib:master Sep 19, 2019
@vitaut
Copy link
Contributor

vitaut commented Sep 19, 2019

Thanks!

@pauldreik pauldreik deleted the ossfuzzbadge branch September 20, 2019 12:13
@vitaut
Copy link
Contributor

vitaut commented Sep 28, 2019

Hey @pauldreik, do you know why it says coverage failing but doesn't show any failures?

@pauldreik
Copy link
Contributor Author

pauldreik commented Sep 29, 2019

Where does it say that? Could you provide a link?

I know these places to look for information:

And here is on the control panel at https://oss-fuzz.com/ which requires login with the account associated with the project. I find it cumbersome to use, it is not easy to browse around since one often get empty output even if "all" is selected.

@vitaut
Copy link
Contributor

vitaut commented Sep 29, 2019

The badge itself was yellow for a while with the text in it saying "coverage failing". But it is back to green again so probably some transient issue. Thanks for the links.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants