Skip to content

Ensure latest JDK variant#13843

Merged
Siedlerchr merged 1 commit into
mainfrom
ensure-latest-jdk
Sep 9, 2025
Merged

Ensure latest JDK variant#13843
Siedlerchr merged 1 commit into
mainfrom
ensure-latest-jdk

Conversation

@koppor

@koppor koppor commented Sep 9, 2025

Copy link
Copy Markdown
Member

Follow-up to #13749 (comment)

At https://github.com/actions/setup-java#usage

check-latest Setting this option makes the action to check for the latest available version for the version spec.

Corretto is a bit strange in their versions - and does not support specifying concrete versions. Thus is confusing. Using ´check-latest` should remove that confusion.

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • [/] I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

@koppor koppor added dev: ci-cd dev: binaries Binary builds should be uploaded to builds.jabref.org labels Sep 9, 2025
@koppor koppor changed the title Ensure latest JDK veriant Ensure latest JDK variant Sep 9, 2025
@trag-bot

trag-bot Bot commented Sep 9, 2025

Copy link
Copy Markdown

@trag-bot didn't find any issues in the code! ✅✨

@koppor koppor added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Sep 9, 2025
@github-actions

github-actions Bot commented Sep 9, 2025

Copy link
Copy Markdown
Contributor

The build of this PR is available at https://builds.jabref.org/pull/13843/merge.

@Siedlerchr Siedlerchr enabled auto-merge September 9, 2025 17:53
@Siedlerchr Siedlerchr added this pull request to the merge queue Sep 9, 2025
Merged via the queue into main with commit 025a6fc Sep 9, 2025
51 of 54 checks passed
@Siedlerchr Siedlerchr deleted the ensure-latest-jdk branch September 9, 2025 18:08
Siedlerchr added a commit that referenced this pull request Sep 9, 2025
* upstream/main:
  fix: Improper icon sizing with respect to font size (#13841)
  Ensure latest JDK veriant (#13843)
Siedlerchr added a commit that referenced this pull request Sep 11, 2025
* upstream/main:
  Fix NoSuchElementException in ThreeWayMerge dialog (#13838)
  Keep global search bar open when  keep on top pin is selected (#13846)
  Spell "BibDesk" with capital "D" (#13847)
  fix: Improper icon sizing with respect to font size (#13841)
  Ensure latest JDK veriant (#13843)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dev: binaries Binary builds should be uploaded to builds.jabref.org dev: ci-cd status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants