diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c436031d1..e6ffe929f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,11 +4,8 @@ on:
   push:
     branches:
       - main
-      - 4.x
+      - '[0-9]+.[0-9]+'
   pull_request:
-    branches:
-      - main
-      - 4.x
 
 jobs:
   # This is a hack to work around a GitHub API limitation:
diff --git a/pom.xml b/pom.xml
index 7a4606fa0..893426f68 100644
--- a/pom.xml
+++ b/pom.xml
@@ -75,7 +75,7 @@
         <version.jakarta.annotations.api>2.1.1</version.jakarta.annotations.api>
         <version.jakarta.servlet>6.0.0</version.jakarta.servlet>
         <version.jakarta.websocket>2.1.0</version.jakarta.websocket>
-        <version.vertx>4.5.4</version.vertx>
+        <version.vertx>4.5.7</version.vertx>
         <version.xnio>3.3.8.Final</version.xnio>
 
         <version.org.osgi.core>6.0.0</version.org.osgi.core>