-
Notifications
You must be signed in to change notification settings - Fork 4
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
Renamed the project and project artifacts to sexpp; added a filter for symbol visibility #48
Conversation
aca369a
to
555f0e4
Compare
Codecov ReportPatch coverage:
Additional details and impacted files@@ Coverage Diff @@
## main #48 +/- ##
=======================================
Coverage 99.70% 99.70%
=======================================
Files 10 10
Lines 689 689
=======================================
Hits 687 687
Misses 2 2
☔ View full report in Codecov by Sentry. |
…d coverity CID 453360
1e4a239
to
59ca040
Compare
.github/workflows/coverity.yml
Outdated
MAKEFLAGS: j4 | ||
TOKEN: qjcM1CWLcq9PJB3yL0ZXIw |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@maxirmx I believe we don't need the Coverity token when the repository is public. Can you confirm?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ronaldtse
It does not work without token: https://github.com/rnpgp/sexpp/actions/runs/5375142016/jobs/9751251719
Documentation is somewhat unclear about it but I found an action https://github.com/marketplace/actions/unofficial-coverity-scan and its documentation says that the TOKEN is required
I am using this action now. We may want to move Coverity token to secrets and use ribose e-mail instead of my personal.
Thank you @maxirmx ! Please feel free to merge after answering the remaining question. |
No description provided.