Skip to content

workflows: WIP lint#238

Open
woodruffw wants to merge 9 commits intomasterfrom
ww/lint
Open

workflows: WIP lint#238
woodruffw wants to merge 9 commits intomasterfrom
ww/lint

Conversation

@woodruffw
Copy link
Contributor

Signed-off-by: William Woodruff william@trailofbits.com

Signed-off-by: William Woodruff <william@trailofbits.com>
Signed-off-by: William Woodruff <william@trailofbits.com>
ci: remove old lint

Signed-off-by: William Woodruff <william@trailofbits.com>
Signed-off-by: William Woodruff <william@trailofbits.com>
Signed-off-by: William Woodruff <william@trailofbits.com>
No longer necessary?

Signed-off-by: William Woodruff <william@trailofbits.com>
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.

1 participant