Do not ignore mvntest
failure
#1008
Merged
ci.jenkins.io / Jenkins
succeeded
Sep 19, 2024 in 4m 27s
Success
Details
Loading