Skip to content

Updates Gradle to v9.6.1 - #115

Merged
maxkratz merged 1 commit into
mainfrom
feature/update-gradle-v9.6.1
Jun 29, 2026
Merged

Updates Gradle to v9.6.1#115
maxkratz merged 1 commit into
mainfrom
feature/update-gradle-v9.6.1

Conversation

@maxkratz

Copy link
Copy Markdown
Owner

Closes #114.

@maxkratz maxkratz self-assigned this Jun 27, 2026
@maxkratz maxkratz added the enhancement New feature or request label Jun 27, 2026
@maxkratz

Copy link
Copy Markdown
Owner Author

The GitHub Actions CI is currently broken, because the used TeX Live mirror is down: https://downforeveryoneorjustme.com/ftp.math.utah.edu?proto=http

@maxkratz
maxkratz merged commit 8c72786 into main Jun 29, 2026
32 of 47 checks passed
@maxkratz
maxkratz deleted the feature/update-gradle-v9.6.1 branch June 29, 2026 06:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update gradle to v9.6.1

1 participant