Skip to content

[CI] Lint stage is added#7

Merged
dmitry-lipetsk merged 1 commit intopostgrespro:masterfrom
dmitry-lipetsk:D20260123_001--lint
Jan 23, 2026
Merged

[CI] Lint stage is added#7
dmitry-lipetsk merged 1 commit intopostgrespro:masterfrom
dmitry-lipetsk:D20260123_001--lint

Conversation

@dmitry-lipetsk
Copy link
Collaborator

@dmitry-lipetsk dmitry-lipetsk commented Jan 23, 2026

Do not run tests if lint fails.

Do not run tests if ling fails.
@dmitry-lipetsk dmitry-lipetsk merged commit f460d68 into postgrespro:master Jan 23, 2026
16 checks passed
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.

1 participant