Skip to content

Merge pull request #38757 from yrodiere/hsearch-7.1 #23

Merge pull request #38757 from yrodiere/hsearch-7.1

Merge pull request #38757 from yrodiere/hsearch-7.1 #23

Triggered via push February 21, 2024 15:18
Status Success
Total duration 24s
Artifacts
quarkus-github-bot.yml validation
14s
quarkus-github-bot.yml validation
Fit to window
Zoom out
Zoom in