Skip to content
This repository has been archived by the owner on Dec 4, 2023. It is now read-only.

feat: add pr style linting #1144

Merged
merged 1 commit into from
Apr 8, 2021
Merged

feat: add pr style linting #1144

merged 1 commit into from
Apr 8, 2021

Conversation

joshgummersall
Copy link
Contributor

@joshgummersall joshgummersall commented Apr 8, 2021

Fixes #1143

@joshgummersall joshgummersall merged commit a72d4c4 into main Apr 8, 2021
@joshgummersall joshgummersall deleted the jpg/pr-style branch April 8, 2021 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.

port: ci: pr style linting (#5458)
2 participants