Skip to content

Add a tidy-ci rule to make CI happy#58

Merged
mromaszewicz merged 1 commit into
mainfrom
chore/Makefile
Jul 19, 2026
Merged

Add a tidy-ci rule to make CI happy#58
mromaszewicz merged 1 commit into
mainfrom
chore/Makefile

Conversation

@mromaszewicz

Copy link
Copy Markdown
Member

No description provided.

@mromaszewicz
mromaszewicz requested a review from a team as a code owner July 19, 2026 14:47

@jamietanna jamietanna 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.

@mromaszewicz
mromaszewicz merged commit 6006233 into main Jul 19, 2026
23 checks passed
@mromaszewicz
mromaszewicz deleted the chore/Makefile branch July 19, 2026 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants