Skip to content

Add Java 17 to CI pipeline #1171

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
Closed
mp911de opened this issue Sep 21, 2021 · 0 comments
Closed

Add Java 17 to CI pipeline #1171

mp911de opened this issue Sep 21, 2021 · 0 comments
Assignees
@mp911de
Labels
type: task A general task
Milestone
3.3 RC1 (2021.1.0)

Comments

@mp911de
Copy link
Member

mp911de commented Sep 21, 2021

No description provided.

@mp911de mp911de added the type: task A general task label Sep 21, 2021
@mp911de mp911de self-assigned this Sep 21, 2021
mp911de added a commit that referenced this issue Sep 21, 2021
@mp911de
Polishing.
781ace7 
Use HTTPS URL's for apt download.

See #1171
@mp911de mp911de added this to the 3.3 RC1 (2021.1.0) milestone Sep 21, 2021
mp911de added a commit that referenced this issue Sep 21, 2021
@mp911de
Polishing.
05cb997 
Use HTTPS URL's for apt download.

See #1171
mp911de added a commit that referenced this issue Sep 21, 2021
@mp911de
Fix malformed Javadoc.
d6dc3a0 
See #1171
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mp911de mp911de

Labels
type: task A general task
Projects
None yet
Milestone
3.3 RC1 (2021.1.0)
Development

No branches or pull requests
1 participant
@mp911de