Skip to content

DEV: Update linting#104

Merged
davidtaylorhq merged 1 commit into
mainfrom
update-linting
Jul 8, 2026
Merged

DEV: Update linting#104
davidtaylorhq merged 1 commit into
mainfrom
update-linting

Conversation

@davidtaylorhq

Copy link
Copy Markdown
Member

No description provided.

@ZogStriP ZogStriP left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

⤴️

@davidtaylorhq davidtaylorhq merged commit 8b892f7 into main Jul 8, 2026
5 checks passed
@davidtaylorhq davidtaylorhq deleted the update-linting branch July 8, 2026 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

2 participants