Skip to content

fix(postgresql): warning of antlr tools#7

Merged
h3n4l merged 1 commit intomainfrom
h-branch-1
Aug 12, 2025
Merged

fix(postgresql): warning of antlr tools#7
h3n4l merged 1 commit intomainfrom
h-branch-1

Conversation

@h3n4l
Copy link
Member

@h3n4l h3n4l commented Aug 12, 2025

Like what we do in #4

@h3n4l h3n4l enabled auto-merge (squash) August 12, 2025 03:40
@h3n4l h3n4l merged commit 7cd3429 into main Aug 12, 2025
4 checks passed
@h3n4l h3n4l deleted the h-branch-1 branch August 12, 2025 03:41
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