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

fix github build #211

Merged

jaredsburrows merged 1 commit into master from pr/jaredsburrows/fix-build

Oct 18, 2023

Owner

jaredsburrows commented Oct 18, 2023

No description provided.


          fix github build

df9d564

jaredsburrows merged commit 0a57618 into master

3 checks passed

jaredsburrows deleted the pr/jaredsburrows/fix-build branch

October 18, 2023 23:54

jaredsburrows mentioned this pull request

Bump org.jetbrains.kotlin.jvm from 1.9.0 to 1.9.10 #198

Closed

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

Labels

None yet