Skip to content

Conversation

@aloubyansky
Copy link
Member

No description provided.

@boring-cyborg boring-cyborg bot added area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins area/maven labels Jun 25, 2020
@aloubyansky aloubyansky added this to the 1.6.0 - master milestone Jun 25, 2020
@gsmet
Copy link
Member

gsmet commented Jun 25, 2020

I tested it locally and it works. Given I will wait for another PR, I can let CI finish.

@gsmet gsmet changed the title fix extension validation in extension descriptor generator Fix extension validation in extension descriptor generator Jun 25, 2020
@gsmet gsmet merged commit 7cf5c59 into quarkusio:master Jun 25, 2020
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/maven

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants