Skip to content

Add :modal to parser#298

Merged
mrobinson merged 1 commit intoservo:mainfrom
lukewarlow:modal-parse
Jan 29, 2026
Merged

Add :modal to parser#298
mrobinson merged 1 commit intoservo:mainfrom
lukewarlow:modal-parse

Conversation

@lukewarlow
Copy link
Copy Markdown
Member

@lukewarlow lukewarlow commented Jan 28, 2026

Servo PR: servo/servo#42201

@lukewarlow lukewarlow marked this pull request as ready for review January 28, 2026 01:19
Signed-off-by: Luke Warlow <[email protected]>
@mrobinson mrobinson added this pull request to the merge queue Jan 29, 2026
Merged via the queue into servo:main with commit 9493c5f Jan 29, 2026
5 checks passed
@Loirooriol
Copy link
Copy Markdown
Collaborator

Please don't land Stylo PRs if the companion Servo PR is not ready.

This is now affecting other people who want to land Stylo changes.

@lukewarlow
Copy link
Copy Markdown
Member Author

Apologies, it was ready but got merge conflicted by other merges.

@mrobinson
Copy link
Copy Markdown
Member

Please don't land Stylo PRs if the companion Servo PR is not ready.

I understood that in this case the Servo PR was ready, so we followed our strategy but still had issues. It's hard to avoid this always.

yezhizhen added a commit to yezhizhen/stylo that referenced this pull request Jan 31, 2026
github-merge-queue bot pushed a commit that referenced this pull request Jan 31, 2026
This reverts commit 9493c5f as hoping
to land #293 first.

FYI @lukewarlow
@mrobinson
Copy link
Copy Markdown
Member

@lukewarlow This one was reverted, but do you mind posting it again so that we can try to land it? Thanks!

Loirooriol pushed a commit that referenced this pull request Feb 5, 2026
Servo PR: servo/servo#42201

Signed-off-by: Luke Warlow <[email protected]>
Loirooriol pushed a commit that referenced this pull request Feb 5, 2026
This reverts commit 9493c5f as hoping
to land #293 first.

FYI @lukewarlow
Loirooriol pushed a commit that referenced this pull request Feb 5, 2026
Servo PR: servo/servo#42201

Signed-off-by: Luke Warlow <[email protected]>
Loirooriol pushed a commit that referenced this pull request Feb 5, 2026
This reverts commit 9493c5f as hoping
to land #293 first.

FYI @lukewarlow
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.

3 participants