Skip to content

Update to vertx-core metrics change#1619

Merged
vietj merged 1 commit intomasterfrom
adapt-to-vertx-core-metrics-change
Feb 5, 2026
Merged

Update to vertx-core metrics change#1619
vietj merged 1 commit intomasterfrom
adapt-to-vertx-core-metrics-change

Conversation

@vietj
Copy link
Member

@vietj vietj commented Feb 5, 2026

No description provided.

@vietj vietj added this to the 5.1.0 milestone Feb 5, 2026
@vietj vietj merged commit a87ace9 into master Feb 5, 2026
18 checks passed
@vietj vietj deleted the adapt-to-vertx-core-metrics-change branch February 5, 2026 17:27
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