Skip to content

Update Gradle version to 9.5 and deprecated method replacements#3813

Open
unp1 wants to merge 1 commit intomainfrom
updateGradle
Open

Update Gradle version to 9.5 and deprecated method replacements#3813
unp1 wants to merge 1 commit intomainfrom
updateGradle

Conversation

@unp1
Copy link
Copy Markdown
Member

@unp1 unp1 commented Apr 28, 2026

Intended Change

Update gradle version to 9.5.0 and replace deprecated before/afterTest usages

Type of pull request

  • There are changes to the deployment/CI infrastructure (gradle, github, ...)

Ensuring quality

  • I have tested the feature as follows: let's see if the build goes through :-)

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

@unp1 unp1 marked this pull request as draft April 28, 2026 19:20
@unp1
Copy link
Copy Markdown
Member Author

unp1 commented Apr 28, 2026

No idea what is going on. Will look into it later. Converted PR to draft

Update: Hopefully fixed

@unp1 unp1 marked this pull request as ready for review April 28, 2026 19:25
@unp1 unp1 self-assigned this Apr 28, 2026
@unp1 unp1 added the CI label Apr 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant