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

Update JDK to 11 in JDoc workflow #1038

Merged
merged 1 commit into from
Mar 20, 2023
Merged

Update JDK to 11 in JDoc workflow #1038

merged 1 commit into from
Mar 20, 2023

Conversation

TobiGr
Copy link
Contributor

@TobiGr TobiGr commented Mar 6, 2023

  • I carefully read the contribution guidelines and agree to them.
  • I have tested the API against NewPipe.
  • I agree to create a pull request for NewPipe as soon as possible to make it compatible with the changed API.

The other workflow is already using Java 11 since 316d857

@AudricV AudricV added the meta Related to the project but not strictly to code label Mar 6, 2023
@TobiGr TobiGr merged commit d5e9df5 into dev Mar 20, 2023
@opusforlife2 opusforlife2 deleted the docs-jdk-11 branch March 21, 2023 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AudricV AudricV AudricV approved these changes

Assignees
No one assigned
Labels
meta Related to the project but not strictly to code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TobiGr @AudricV