Skip to content

linter: add check ref-best-practice - #1068

Merged
jkowalleck merged 11 commits into
2.0-devfrom
2.0-dev-linter_ref-best-practice
Aug 31, 2026
Merged

linter: add check ref-best-practice#1068
jkowalleck merged 11 commits into
2.0-devfrom
2.0-dev-linter_ref-best-practice

Conversation

@jkowalleck

Copy link
Copy Markdown
Member

this one transforms an existing semantics check into a linter check

Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
@jkowalleck
jkowalleck requested a review from a team as a code owner August 31, 2026 12:19
@jkowalleck jkowalleck added the chore A chore label Aug 31, 2026
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
Signed-off-by: Jan Kowalleck <jan.kowalleck@gmail.com>
@jkowalleck

Copy link
Copy Markdown
Member Author

@jkowalleck
jkowalleck merged commit 14eea6b into 2.0-dev Aug 31, 2026
32 of 42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore A chore

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant