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

chore: update lint ci #291

Merged
merged 1 commit into from
Nov 28, 2023
Merged

chore: update lint ci #291

merged 1 commit into from
Nov 28, 2023

Conversation

matt-FFFFFF
Copy link
Member

Overview/summary

Replace this with a brief description of what this Pull Request fixes, changes, etc.

This PR fixes/adds/changes/removes

  1. fixes #000

Breaking changes

  1. Replace me

Testing evidence

Please provide testing evidence to show that your Pull Request works/fixes as described and documented above.

As part of this pull request I have

  • Checked for duplicate Pull Requests
  • Associated it with relevant issues, for tracking and closure.
  • Run and make fmt & make docs to format your code and update documentation.
  • Created unit and deployment tests and provided evidence.
  • Updated relevant and associated documentation.

@matt-FFFFFF matt-FFFFFF merged commit 01cd6f8 into main Nov 28, 2023
14 checks passed
@matt-FFFFFF matt-FFFFFF deleted the chore/lintci branch November 28, 2023 17:08
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.

2 participants