Update tested library versions (#9072)

graalvmbot · actions-user · web-flow · commit 8494f263f0d4 · 2026-07-20T16:15:00.000+02:00
Added tested versions:
#### `io.vertx:vertx-auth-common`
- `4.5.31`
#### `io.vertx:vertx-web-common`
- `4.5.31`
#### `org.flywaydb:flyway-core`
- `13.0.0`
#### `org.flywaydb:flyway-sqlserver`
- `13.0.0`

Co-authored-by: Github Actions &lt;actions@github.com&gt;
diff --git a/COVERAGE.md b/COVERAGE.md
@@ -740,12 +740,12 @@ Updated: 2026-07-20
 | `io.undertow:undertow-core` | [2.2.19.Final<br>- 2.4.2.Final](metadata/io.undertow/undertow-core/index.json) | <details><summary>Show</summary> Undertow Core is a high-performance Java web server library built on non-blocking I/O. It provides the core HTTP server and protocol handling used to build embedded servers and web applications.</details> | [41.4% (46/111 calls)](stats/io.undertow/undertow-core/) |
 | `io.undertow:undertow-parser-generator` | [2.2.19.Final<br>- 2.4.0.RC4](metadata/io.undertow/undertow-parser-generator/index.json) | <details><summary>Show</summary> Undertow Parser Generator is an annotation processor that generates Undertow HTTP parser classes at build time. It is used by the Undertow web server to produce efficient request and response parsing code.</details> | [100.0% (0/0 calls)](stats/io.undertow/undertow-parser-generator/) |
 | `io.undertow:undertow-servlet` | [2.3.18.Final<br>- 2.3.26.Final](metadata/io.undertow/undertow-servlet/index.json) | <details><summary>Show</summary> Undertow Servlet provides Undertow's Jakarta Servlet container integration on top of its non-blocking Java web server. It lets JVM applications embed or run servlet deployments using Undertow handlers, Jakarta Servlet APIs, and Undertow core HTTP services.</details> | [43.8% (7/16 calls)](stats/io.undertow/undertow-servlet/) |
-| `io.vertx:vertx-auth-common` | [4.5.24<br>- 4.5.30](metadata/io.vertx/vertx-auth-common/index.json) | <details><summary>Show</summary> Vert.x Auth Common provides shared interfaces and types for authentication and authorization in Vert.x applications, with concrete behavior supplied by provider modules. It is also used by Vert.x Web to handle authentication and authorization.</details> | [100.0% (1/1 calls)](stats/io.vertx/vertx-auth-common/) |
+| `io.vertx:vertx-auth-common` | [4.5.24<br>- 4.5.31](metadata/io.vertx/vertx-auth-common/index.json) | <details><summary>Show</summary> Vert.x Auth Common provides shared interfaces and types for authentication and authorization in Vert.x applications, with concrete behavior supplied by provider modules. It is also used by Vert.x Web to handle authentication and authorization.</details> | [100.0% (1/1 calls)](stats/io.vertx/vertx-auth-common/) |
 | `io.vertx:vertx-core` | [4.4.2<br>- 5.0.4](metadata/io.vertx/vertx-core/index.json) | <details><summary>Show</summary> Vert.x Core provides the core APIs and runtime primitives of Eclipse Vert.x, a reactive toolkit for building event-driven JVM applications. It supplies low-level building blocks for HTTP, TCP, UDP, filesystem access, asynchronous streams, buffers, futures/promises, event-bus communication, and deployment of verticles.</details> | [100.0% (179/179 calls)](stats/io.vertx/vertx-core/) |
 | `io.vertx:vertx-sql-client` | [4.4.2<br>- 5.1.5](metadata/io.vertx/vertx-sql-client/index.json) | <details><summary>Show</summary> Vert.x SQL Client provides reactive, asynchronous APIs for interacting with SQL databases from Vert.x applications. It supplies shared client, pool, row, query, tuple, and transaction abstractions used by Vert.x database-specific SQL client implementations.</details> | [100.0% (0/0 calls)](stats/io.vertx/vertx-sql-client/) |
 | `io.vertx:vertx-uri-template` | [4.5.24<br>- 5.1.5](metadata/io.vertx/vertx-uri-template/index.json) | <details><summary>Show</summary> Vert.x URI Template implements RFC 6570 level 4 URI templates for Vert.x applications. It validates template strings and expands them with variables into encoded URI strings, including path, query, and other RFC-defined expansion styles.</details> | [100.0% (0/0 calls)](stats/io.vertx/vertx-uri-template/) |
 | `io.vertx:vertx-web-client` | [4.5.24<br>- 5.0.0](metadata/io.vertx/vertx-web-client/index.json) | <details><summary>Show</summary> Vert.x Web Client is an asynchronous HTTP and HTTP/2 client built on Vert.x for sending requests, handling responses, forms, redirects, cookies, sessions, and response predicates. It provides a higher-level API than the core Vert.x HTTP client for service-to-service calls and web integrations in JVM applications.</details> | [100.0% (0/0 calls)](stats/io.vertx/vertx-web-client/) |
-| `io.vertx:vertx-web-common` | [4.5.24<br>- 4.5.30](metadata/io.vertx/vertx-web-common/index.json) | <details><summary>Show</summary> Vert.x Web Common provides shared Vert.x Web APIs for body codecs, server-sent events, multipart forms, and template engine integration. It supplies common classes used by Vert.x Web modules to build asynchronous, scalable web applications on the JVM.</details> | [100.0% (0/0 calls)](stats/io.vertx/vertx-web-common/) |
+| `io.vertx:vertx-web-common` | [4.5.24<br>- 4.5.31](metadata/io.vertx/vertx-web-common/index.json) | <details><summary>Show</summary> Vert.x Web Common provides shared Vert.x Web APIs for body codecs, server-sent events, multipart forms, and template engine integration. It supplies common classes used by Vert.x Web modules to build asynchronous, scalable web applications on the JVM.</details> | [100.0% (0/0 calls)](stats/io.vertx/vertx-web-common/) |
 | `io.zipkin.reporter2:zipkin-reporter` | [2.16.3<br>- 3.5.3](metadata/io.zipkin.reporter2/zipkin-reporter/index.json) | <details><summary>Show</summary> Zipkin Reporter is the core library for asynchronously buffering and reporting Zipkin spans to pluggable sender implementations. It provides reporter APIs, batching, metrics hooks, and delivery handling used by Zipkin transport integrations.</details> | [100.0% (1/1 calls)](stats/io.zipkin.reporter2/zipkin-reporter/) |
 | `io.zipkin.reporter2:zipkin-sender-okhttp3` | [2.16.3<br>- 3.2.1](metadata/io.zipkin.reporter2/zipkin-sender-okhttp3/index.json) | <details><summary>Show</summary> Zipkin Sender OkHttp 3 sends encoded spans to a Zipkin collector over HTTP using OkHttp 3. It implements the Zipkin Reporter sender interface for asynchronous span delivery and integrates with the core zipkin-reporter buffering and metrics APIs.</details> | [100.0% (1/1 calls)](stats/io.zipkin.reporter2/zipkin-sender-okhttp3/) |
 | `io.zipkin.zipkin2:zipkin` | [2.23.2<br>- 3.6.1](metadata/io.zipkin.zipkin2/zipkin/index.json) | <details><summary>Show</summary> Zipkin Core Library provides the core data model and codecs for representing and encoding distributed tracing spans. It includes APIs and utilities for traces, endpoints, annotations, dependency links, and query-related types used by Zipkin.</details> | [100.0% (0/0 calls)](stats/io.zipkin.zipkin2/zipkin/) |
@@ -1130,9 +1130,9 @@ Updated: 2026-07-20
 | `org.eclipse.parsson:parsson` | [1.1.6<br>- 1.1.9](metadata/org.eclipse.parsson/parsson/index.json) | <details><summary>Show</summary> Eclipse Parsson is the Eclipse implementation of the Jakarta JSON Processing (JSON-P) specification. It provides a JSON-P provider for parsing, generating, transforming, and querying JSON documents with streaming and object-model APIs.</details> | [100.0% (1/1 calls)](stats/org.eclipse.parsson/parsson/) |
 | `org.eclipse.sisu:org.eclipse.sisu.inject` | [0.3.0.M1<br>- 0.3.5](metadata/org.eclipse.sisu/org.eclipse.sisu.inject/index.json) | <details><summary>Show</summary> Eclipse Sisu Inject is a JSR-330 dependency injection container built on Google Guice that supports classpath scanning, auto-binding, and dynamic auto-wiring. It lets applications discover named components and wire missing dependencies without requiring explicit Guice module bindings for every component.</details> | [99.6% (223/224 calls)](stats/org.eclipse.sisu/org.eclipse.sisu.inject/) |
 | `org.ehcache:ehcache` | [3.10.8-jakarta](metadata/org.ehcache/ehcache/index.json) | <details><summary>Show</summary> Ehcache is an open source, standards-based Java cache that improves performance, reduces database load, and simplifies scalability. It supports both the Ehcache API and the JSR-107 cache API, with configurations ranging from in-process caches to larger tiered deployments.</details> | [33.7% (33/98 calls)](stats/org.ehcache/ehcache/) |
-| `org.flywaydb:flyway-core` | [9.0.1<br>- 12.11.0](metadata/org.flywaydb/flyway-core/index.json) | <details><summary>Show</summary> Flyway Core is a database migration library that manages and applies versioned schema changes across supported databases. It tracks migration history and helps keep database schemas consistent with application releases.</details> | [39.2% (124/316 calls)](stats/org.flywaydb/flyway-core/) |
+| `org.flywaydb:flyway-core` | [9.0.1<br>- 13.0.0](metadata/org.flywaydb/flyway-core/index.json) | <details><summary>Show</summary> Flyway Core is a database migration library that manages and applies versioned schema changes across supported databases. It tracks migration history and helps keep database schemas consistent with application releases.</details> | [39.2% (124/316 calls)](stats/org.flywaydb/flyway-core/) |
 | `org.flywaydb:flyway-database-postgresql` | [10.10.0<br>- 11.8.0](metadata/org.flywaydb/flyway-database-postgresql/index.json) | <details><summary>Show</summary> This Flyway module adds PostgreSQL and CockroachDB database support by providing database type detection, SQL parsing, and JDBC integration for PostgreSQL-compatible systems. It enables Flyway migrations to run with PostgreSQL-specific connection handling, schema support, table operations, and advisory locking behavior.</details> | [0.0% (0/18 calls)](stats/org.flywaydb/flyway-database-postgresql/) |
-| `org.flywaydb:flyway-sqlserver` | [10.10.0<br>- 12.11.0](metadata/org.flywaydb/flyway-sqlserver/index.json) | <details><summary>Show</summary> Flyway SQL Server support module adds Microsoft SQL Server, Azure Synapse, and Microsoft Fabric Data Warehouse database support to Flyway. It provides the database type, parser, schema handling, and clean-mode integrations used to run Flyway migrations against those platforms.</details> | [100.0% (0/0 calls)](stats/org.flywaydb/flyway-sqlserver/) |
+| `org.flywaydb:flyway-sqlserver` | [10.10.0<br>- 13.0.0](metadata/org.flywaydb/flyway-sqlserver/index.json) | <details><summary>Show</summary> Flyway SQL Server support module adds Microsoft SQL Server, Azure Synapse, and Microsoft Fabric Data Warehouse database support to Flyway. It provides the database type, parser, schema handling, and clean-mode integrations used to run Flyway migrations against those platforms.</details> | [100.0% (0/0 calls)](stats/org.flywaydb/flyway-sqlserver/) |
 | `org.freemarker:freemarker` | [2.3.31<br>- 2.3.34](metadata/org.freemarker/freemarker/index.json) | <details><summary>Show</summary> FreeMarker is a Java template engine for generating text output such as HTML pages, emails, configuration files, and source code from templates and data models. It separates presentation templates from application logic so applications can produce dynamic content for web and non-web use cases.</details> | [23.8% (24/101 calls)](stats/org.freemarker/freemarker/) |
 | `org.fusesource.hawtbuf:hawtbuf` | [1.11](metadata/org.fusesource.hawtbuf/hawtbuf/index.json) | <details><summary>Show</summary> HawtBuf is a rich byte buffer library for Java. It provides buffer types, streams, and codecs for efficiently working with binary data and encoded values.</details> | [100.0% (2/2 calls)](stats/org.fusesource.hawtbuf/hawtbuf/) |
 | `org.fusesource.hawtjni:hawtjni-runtime` | [1.9<br>- 1.12](metadata/org.fusesource.hawtjni/hawtjni-runtime/index.json) | <details><summary>Show</summary> HawtJNI Runtime provides the annotations and helper API that projects using HawtJNI compile against. It includes the runtime classes used to describe JNI bindings and load bundled native libraries from Java.</details> | [100.0% (2/2 calls)](stats/org.fusesource.hawtjni/hawtjni-runtime/) |
diff --git a/metadata/io.vertx/vertx-auth-common/index.json b/metadata/io.vertx/vertx-auth-common/index.json
@@ -14,7 +14,8 @@
       "4.5.27",
       "4.5.28",
       "4.5.29",
-      "4.5.30"
+      "4.5.30",
+      "4.5.31"
     ],
     "allowed-packages" : [
       "io.vertx.ext.auth"
diff --git a/metadata/io.vertx/vertx-web-common/index.json b/metadata/io.vertx/vertx-web-common/index.json
@@ -14,7 +14,8 @@
       "4.5.27",
       "4.5.28",
       "4.5.29",
-      "4.5.30"
+      "4.5.30",
+      "4.5.31"
     ],
     "allowed-packages" : [
       "io.vertx.ext.web"
diff --git a/metadata/org.flywaydb/flyway-core/index.json b/metadata/org.flywaydb/flyway-core/index.json
@@ -189,7 +189,8 @@
       "12.8.1",
       "12.9.0",
       "12.10.0",
-      "12.11.0"
+      "12.11.0",
+      "13.0.0"
     ],
     "allowed-packages" : [
       "org.flywaydb.core"
diff --git a/metadata/org.flywaydb/flyway-sqlserver/index.json b/metadata/org.flywaydb/flyway-sqlserver/index.json
@@ -20,7 +20,8 @@
       "12.8.1",
       "12.9.0",
       "12.10.0",
-      "12.11.0"
+      "12.11.0",
+      "13.0.0"
     ],
     "allowed-packages" : [
       "org.flywaydb",
