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

fix broken lint-baseline.xml #4180

Merged
merged 1 commit into from
Dec 16, 2023
Merged

fix broken lint-baseline.xml #4180

merged 1 commit into from
Dec 16, 2023

Conversation

connyduck
Copy link
Collaborator

@connyduck connyduck commented Dec 16, 2023

The xml was malformed (probably because of some merge) so lint just did not check anything

@charlag
Copy link
Collaborator

charlag commented Dec 16, 2023

This is where it broke down: f99cb6d

@charlag charlag merged commit d8c436c into develop Dec 16, 2023
3 checks passed
@charlag charlag deleted the update_lint_baseline branch December 16, 2023 18:56
Copy link
Collaborator

@Tak Tak left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤦

</issue>

<issue
id="PrivateResource"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

imo we could just ignore this whole class of issues

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.

3 participants