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.1 #3851

Merged

lihaoyi merged 2 commits into main from lihaoyi-patch-14

Oct 27, 2024

Member

lihaoyi commented Oct 27, 2024

No description provided.

lihaoyi added 2 commits

October 27, 2024 12:51


          Update mill-version

7555edb


          Update build.mill

2c11c74

lihaoyi merged commit 5808b81 into main

47 of 48 checks passed

lihaoyi deleted the lihaoyi-patch-14 branch

October 27, 2024 04:53

lefou added this to the 0.12.2 milestone

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

Labels

None yet