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.

Sign up for GitHub

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

Jump to bottom

Add Jakarta EE Core Profile 10 as an option #39

Closed
mnriem opened this issue May 26, 2023 · 0 comments
Closed

Add Jakarta EE Core Profile 10 as an option #39

mnriem opened this issue May 26, 2023 · 0 comments
Assignees
@mnriem

Comments

@mnriem
Copy link
Contributor

mnriem commented May 26, 2023

No description provided.

@mnriem mnriem changed the title Add Jakarta Core Profile 10 as an option Add Jakarta EE Core Profile 10 as an option May 26, 2023
mnriem added a commit that referenced this issue Jun 9, 2023
@mnriem
Fixes issue #39 - Add Jakarta EE Core Profile 10 as an option
f8fd226
mnriem added a commit that referenced this issue Jun 9, 2023
@mnriem
Fixes issue #39 - Add Jakarta EE Core Profile 10 as an option (#43)
82afac6
@mnriem mnriem self-assigned this Jun 9, 2023
@mnriem mnriem closed this as completed Jun 9, 2023
mnriem added a commit that referenced this issue Jun 10, 2023
@mnriem
Fixes issue #42 - Use GitHub Container registry (#45)
8586317 
* Fixes issue #39 - Add Jakarta EE Core Profile 10 as an option

* Fixes issue #40 - Add a Jakarta RESTful Web Services 3.1 example option

* Fixes issue #42 - Use GitHub Container registry
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mnriem mnriem

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mnriem