Skip to content

chore: lint using make in workflow#125

Merged
joka134 merged 9 commits intomainfrom
chore/workflow-lint-with-make
Feb 24, 2026
Merged

chore: lint using make in workflow#125
joka134 merged 9 commits intomainfrom
chore/workflow-lint-with-make

Conversation

@joka134
Copy link
Member

@joka134 joka134 commented Dec 9, 2025

joka134 and others added 2 commits December 9, 2025 17:36
Signed-off-by: joka134 <27293650+joka134@users.noreply.github.com>
@joka134 joka134 marked this pull request as ready for review December 9, 2025 16:38
@joka134 joka134 requested a review from a team as a code owner December 9, 2025 16:38
@joka134 joka134 requested a review from siherrmann December 9, 2025 16:40
Copy link
Member

@OliverTrautvetter OliverTrautvetter left a comment

Choose a reason for hiding this comment

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

👍

@joka134 joka134 merged commit bb392ba into main Feb 24, 2026
5 checks passed
@joka134 joka134 deleted the chore/workflow-lint-with-make branch February 24, 2026 09:46
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