Skip to content

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label #1345

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label

Merge pull request #32749 from phillip-kruger/dev-ui-submenu-label #1345

Triggered via push April 19, 2023 10:00
Status Success
Total duration 1m 36s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Initial JDK 11 Build
0s
Initial JDK 11 Build
Attach pull request number
0s
Attach pull request number
CI Sanity Check
0s
CI Sanity Check
Calculate Test Jobs
0s
Calculate Test Jobs
Matrix: jvm-tests
Matrix: quickstarts-tests
MicroProfile TCKs Tests
0s
MicroProfile TCKs Tests
Matrix: devtools-tests
Matrix: gradle-tests
Matrix: maven-tests
Matrix: native-tests
Fit to window
Zoom out
Zoom in