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 PlatformStack #17840

Merged
merged 1 commit into from
Jun 10, 2021
Merged

Conversation

gastaldi
Copy link
Contributor

This interface doesn't seem to be used anywhere

This interface doesn't seem to be used anywhere
@gastaldi gastaldi requested a review from aloubyansky June 10, 2021 14:56
@quarkus-bot quarkus-bot bot added area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/platform Issues related to definition and interaction with Quarkus Platform labels Jun 10, 2021
@gastaldi gastaldi added triage/backport? and removed area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/platform Issues related to definition and interaction with Quarkus Platform labels Jun 10, 2021
@gastaldi gastaldi added triage/waiting-for-ci Ready to merge when CI successfully finishes area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/platform Issues related to definition and interaction with Quarkus Platform labels Jun 10, 2021
@quarkus-bot
Copy link

quarkus-bot bot commented Jun 10, 2021

Failing Jobs - Building 2810403

Status Name Step Test failures Logs Raw logs
✔️ JVM Tests - JDK 11
JVM Tests - JDK 16 Build ⚠️ Check → Logs Raw logs
MicroProfile TCKs Tests Verify ⚠️ Check → Logs Raw logs

@gastaldi gastaldi merged commit c5dc7c4 into quarkusio:main Jun 10, 2021
@quarkus-bot quarkus-bot bot added this to the 2.1 - main milestone Jun 10, 2021
@quarkus-bot quarkus-bot bot removed the triage/waiting-for-ci Ready to merge when CI successfully finishes label Jun 10, 2021
@gastaldi gastaldi deleted the delete_platform_stack branch June 10, 2021 19:13
@gsmet gsmet modified the milestones: 2.1 - main, 2.0.0.Final Jun 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/platform Issues related to definition and interaction with Quarkus Platform
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants