Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove Old Dev UI: Core Build Metrics #35153

Merged

Conversation

phillip-kruger
Copy link
Member

This Removes the old Build Metrics pages from the old Dev UI

@phillip-kruger phillip-kruger requested a review from mkouba August 2, 2023 00:21
@phillip-kruger phillip-kruger mentioned this pull request Aug 2, 2023
42 tasks
@phillip-kruger phillip-kruger force-pushed the dev-ui-remove-build-info branch from d4832a2 to 5dac131 Compare August 2, 2023 03:02
@gsmet gsmet force-pushed the dev-ui-remove-build-info branch from 5dac131 to a7830d7 Compare August 2, 2023 07:30
@geoand geoand added the triage/waiting-for-ci Ready to merge when CI successfully finishes label Aug 2, 2023
@phillip-kruger phillip-kruger force-pushed the dev-ui-remove-build-info branch from a7830d7 to 9343200 Compare August 3, 2023 00:08
@quarkus-bot

This comment has been minimized.

@quarkus-bot
Copy link

quarkus-bot bot commented Aug 3, 2023

✔️ The latest workflow run for the pull request has completed successfully.

It should be safe to merge provided you have a look at the other checks in the summary.

@phillip-kruger phillip-kruger merged commit 00b7800 into quarkusio:main Aug 3, 2023
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Aug 3, 2023
@quarkus-bot quarkus-bot bot added this to the 3.3 - main milestone Aug 3, 2023
@phillip-kruger phillip-kruger deleted the dev-ui-remove-build-info branch August 3, 2023 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants