Skip to content

chore: download ormolu from binary instead#10

Merged
laban211 merged 1 commit into
mainfrom
chore/speed-up-ci
Jun 29, 2025
Merged

chore: download ormolu from binary instead#10
laban211 merged 1 commit into
mainfrom
chore/speed-up-ci

Conversation

@laban211

Copy link
Copy Markdown
Owner

No description provided.

@laban211 laban211 marked this pull request as ready for review June 29, 2025 14:30
@laban211 laban211 merged commit 08354a5 into main Jun 29, 2025
1 check passed
@laban211 laban211 deleted the chore/speed-up-ci branch June 29, 2025 14:32
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.

1 participant