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

Configure linters and create Lint Docs workflow #2

Merged
merged 7 commits into from
Aug 10, 2022

Conversation

patrick-5546
Copy link
Member

No description provided.

@patrick-5546 patrick-5546 merged commit b2ebc8f into main Aug 10, 2022
@patrick-5546 patrick-5546 deleted the update_infrastructure branch August 10, 2022 00:39
@patrick-5546 patrick-5546 changed the title Update infrastructure Configure linters and create Lint Docs workflow Aug 10, 2022
@patrick-5546 patrick-5546 added the path Pathfinding team label Aug 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
infrastructure path Pathfinding team
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

1 participant