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.

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

review: chore: Use RELEASE version for jbang instead of LATEST #5716

Merged
merged 2 commits into from
Mar 26, 2024

Conversation

I-Al-Istannen
Copy link
Collaborator

Somehow LATEST often fails to resolve in CI (never locally). Many people in the issues of jbang use RELEASE, so maybe that one actually works.

@I-Al-Istannen I-Al-Istannen self-assigned this Mar 25, 2024
@I-Al-Istannen I-Al-Istannen force-pushed the chore/jbang-version-with-plus branch 2 times, most recently from 5b2d2d1 to 2808547 Compare March 25, 2024 21:52
@I-Al-Istannen I-Al-Istannen changed the title wip: chore: Run tests for java17 branch (#5295) review: chore: Run tests for java17 branch (#5295) Mar 25, 2024
@I-Al-Istannen I-Al-Istannen force-pushed the chore/jbang-version-with-plus branch from 2808547 to ebf4cbb Compare March 25, 2024 22:07
@I-Al-Istannen I-Al-Istannen changed the title review: chore: Run tests for java17 branch (#5295) review: chore: Use RELEASE version for jbang instead of LATEST Mar 26, 2024
@MartinWitt MartinWitt merged commit 0574058 into INRIA:java17 Mar 26, 2024
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants