From 0fbbe469ff87032527b0b303262c98f906a261c1 Mon Sep 17 00:00:00 2001
From: Alexey Loubyansky <olubyans@redhat.com>
Date: Thu, 15 Aug 2024 14:58:08 +0200
Subject: [PATCH 1/2] Upgrade Vert.x to 4.5.7 to better align dependencies

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>

From 0a8f98a460b77db7765376aee221a1fe82cb5a1b Mon Sep 17 00:00:00 2001
From: Guillaume Smet <guillaume.smet@gmail.com>
Date: Fri, 16 Aug 2024 18:33:46 +0200
Subject: [PATCH 2/2] Fix CI triggers

---
 .github/workflows/build.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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: