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

Add the label “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.

• refactor(ast): put assert_layouts.rs behind debug_assertions #4621
• chore: make test-wasm32-unknown-unknown run unconditionally. #4624 👈
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @rzvxa and the rest of your teammates on Graphite

Merge activity

• Aug 3, 11:24 AM EDT: overlookmotel added this pull request to the Graphite merge queue.
• Aug 3, 11:28 AM EDT: overlookmotel merged this pull request with the Graphite merge queue.

Contrary to the note above "overlookmotel added the merge label 5 hours ago — with Graphite App" I actually didn't add the merge label to this PR, or request merging it through Graphite app. I haven't used Graphite App for weeks.

Clearly Graphite made a mistake here. @Dunqing just to let you know maybe it was Graphite who merged your PR when no-one requested merging other week.

Luckily in this case, I do approve of the change and would have merged it.