Skip to content

shake and nothing else#11739

Merged
kim-em merged 1 commit intobump/nightly-2024-03-27from
adomani/bump/nightly-2024-03-27
Mar 28, 2024
Merged

shake and nothing else#11739
kim-em merged 1 commit intobump/nightly-2024-03-27from
adomani/bump/nightly-2024-03-27

Conversation

@adomani
Copy link
Copy Markdown
Contributor

@adomani adomani commented Mar 28, 2024

I only shook and linting seems to work.


Open in Gitpod

@kim-em kim-em merged commit 6a6962b into bump/nightly-2024-03-27 Mar 28, 2024
@mathlib-bors mathlib-bors bot deleted the adomani/bump/nightly-2024-03-27 branch March 28, 2024 11:10
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.

2 participants