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

Rebootstrap on 0.12.4 #4153

Merged

lihaoyi merged 1 commit into com-lihaoyi:main from lihaoyi:0.12.4-followup

Dec 17, 2024

Member

lihaoyi commented Dec 17, 2024

No description provided.

93ca079

lihaoyi marked this pull request as ready for review

December 17, 2024 13:40

lihaoyi merged commit 2d77e15 into com-lihaoyi:main

28 of 30 checks passed

lefou added this to the 0.12.5 milestone

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

Labels

None yet