Skip to content

Conversation

@staudtMarius
Copy link
Member

Resolves #313

@staudtMarius staudtMarius added enhancement New feature or request dependencies Pull requests that update a dependency file labels Apr 22, 2025
@staudtMarius staudtMarius self-assigned this Apr 22, 2025
staudtMarius and others added 5 commits May 22, 2025 15:30
# Conflicts:
#	CHANGELOG.md
#	build.gradle
#	gradle/wrapper/gradle-wrapper.properties
# Conflicts:
#	build.gradle
#	gradle/scripts/scoverage.gradle
@danielfeismann danielfeismann self-requested a review as a code owner October 29, 2025 12:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update to scala3

3 participants