Skip to content
This repository was archived by the owner on Oct 14, 2024. It is now read-only.

Conversation

ZacSweers
Copy link
Contributor

This allows us to merge lint baselines and produce a (sparsely detailed) sarif file of the merged issues

@ZacSweers ZacSweers requested a review from valeraz October 30, 2023 19:45
@ZacSweers ZacSweers added this pull request to the merge queue Oct 30, 2023
Merged via the queue into main with commit 5d7e82f Oct 30, 2023
@ZacSweers ZacSweers deleted the z/lintWork branch October 30, 2023 20:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants