-
Notifications
You must be signed in to change notification settings - Fork 323
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
[SARIF validation] turn URI errors into warnings #2487
[SARIF validation] turn URI errors into warnings #2487
Conversation
062e68a
to
b8336bf
Compare
b8336bf
to
952f9e8
Compare
952f9e8
to
642bbfc
Compare
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.
Two nits. Non-blocking.
Rebuilding the JS. |
The rebuild action is failing since it's in a fork. @rvermeulen, if you add the |
Mmm, I rebuild it locally. Let me look at the failures. |
The merge from main caused the JavaScript files to go stale, pushed a rebuild. |
This PR extends the list of string
format
's for which we turn validation errors into warnings to ensure we don't fail on invalid URIs.Merge / deployment checklist