Skip to content

Issue #6537: Improved name search for diacritics #5154

Issue #6537: Improved name search for diacritics

Issue #6537: Improved name search for diacritics #5154

Triggered via pull request February 12, 2025 18:11
Status Success
Total duration 4m 59s
Artifacts 1

ci.yml

on: pull_request
Matrix: ci_cd
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
mm-release-tar-gz-temurin-jdk17
474 MB