Skip to content

chore: update wasm related configs#7511

Merged
Boshen merged 1 commit intomainfrom
wasm
Nov 27, 2024
Merged

chore: update wasm related configs#7511
Boshen merged 1 commit intomainfrom
wasm

Conversation

@Boshen
Copy link
Member

@Boshen Boshen commented Nov 27, 2024

No description provided.

@graphite-app
Copy link
Contributor

graphite-app bot commented Nov 27, 2024

Your org has enabled the Graphite merge queue for merging into main

Add the label “0-merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

@Boshen Boshen merged commit 8acab7f into main Nov 27, 2024
@Boshen Boshen deleted the wasm branch November 27, 2024 15:26
Boshen added a commit that referenced this pull request Nov 28, 2024
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