Skip to content

Spring cleaning#8

Merged
justinhj merged 18 commits intomainfrom
spring-cleaning
May 7, 2025
Merged

Spring cleaning#8
justinhj merged 18 commits intomainfrom
spring-cleaning

Conversation

@justinhj
Copy link
Collaborator

@justinhj justinhj commented May 7, 2025

  • Fix the github package build maybe
  • Update the JDK for CI
  • Upgrade some Scala 3 syntax

@justinhj justinhj merged commit 2088eed into main May 7, 2025
1 check passed
@alvinlau
Copy link
Collaborator

approved

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.

2 participants