New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Bump sbt to 1.9.9 #283

Merged

kevin-lee merged 1 commit into main from bump-sbt

Nov 28, 2024

Owner

kevin-lee commented Nov 28, 2024

Bump sbt to 1.9.9


          Bump sbt to 1.9.9

0edae85

kevin-lee added this to the milestone13 milestone

kevin-lee self-assigned this

github-actions bot added the pr label

kevin-lee merged commit 73ab1ce into main

12 checks passed

kevin-lee deleted the bump-sbt branch

November 28, 2024 12:22

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

pr