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 Dev Services #35155

Merged

Conversation

phillip-kruger
Copy link
Member

Removes the old Dev services page from Dev UI and convert the basic smoke test

@phillip-kruger phillip-kruger requested a review from gsmet August 2, 2023 03:31
@phillip-kruger phillip-kruger mentioned this pull request Aug 2, 2023
42 tasks
@gsmet gsmet force-pushed the dev-ui-remove-dev-services branch from 51d1b41 to d2038c8 Compare August 2, 2023 07:31
@phillip-kruger phillip-kruger force-pushed the dev-ui-remove-dev-services branch from d2038c8 to f5471f9 Compare August 3, 2023 00:05
@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 requested a review from geoand August 3, 2023 10:42
@phillip-kruger phillip-kruger merged commit f55273b into quarkusio:main 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-dev-services branch August 3, 2023 10:44
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.

2 participants