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

Automatically check for IJ Platform updates #202

Merged
merged 12 commits into from
Oct 25, 2023
Merged

Conversation

rock3r
Copy link
Collaborator

@rock3r rock3r commented Oct 24, 2023

This PR adds a new plugin into buildSrc that queries the JetBrains APIs to determine the latest IJ Platform available, and errors out when the version we're using is not the latest available. It keeps into consideration that if we're on a stable platform version, we don't want to upgrade to a non-stable one, too.

This PR additionally sets up a CI job that checks daily (at 8 AM in some timezone lol) that there are no available updates. Right now, this is going to fail both for 232 and 233, but I will update the platforms in a separate PR, right after this.

Example failure for 232:

image

Note: the task is not cacheable as-is, but it's fine, since we don't want it to be skipped. It's mostly intended to be run on a schedule by the CI, or manually; never being up-to-date is the intended behaviour.

@rock3r rock3r added the feature New feature or request label Oct 24, 2023
@rock3r rock3r requested review from devkanro and Walingar October 24, 2023 09:41
@rock3r rock3r self-assigned this Oct 24, 2023
@rock3r rock3r force-pushed the ide-platform-updates branch from 9b6a73f to ed95f41 Compare October 24, 2023 09:50
@rock3r rock3r force-pushed the ide-platform-updates branch from fe1b8a1 to 6c31ec9 Compare October 25, 2023 07:07
@rock3r rock3r enabled auto-merge (squash) October 25, 2023 07:07
@rock3r rock3r force-pushed the ide-platform-updates branch from 6c31ec9 to 181689e Compare October 25, 2023 10:29
@rock3r rock3r requested a review from devkanro October 25, 2023 10:29
@rock3r rock3r force-pushed the ide-platform-updates branch from 181689e to e486688 Compare October 25, 2023 10:32
@rock3r rock3r force-pushed the ide-platform-updates branch from e486688 to 6e92f6b Compare October 25, 2023 10:41
@rock3r rock3r requested a review from lamba92 October 25, 2023 10:43
@rock3r rock3r merged commit 1783329 into main Oct 25, 2023
12 checks passed
@rock3r rock3r deleted the ide-platform-updates branch October 25, 2023 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants