Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Switch to x11-dl #333

Merged
merged 1 commit into from
Mar 11, 2025
Merged

Switch to x11-dl #333

merged 1 commit into from
Mar 11, 2025

Conversation

Ella-0
Copy link
Contributor

@Ella-0 Ella-0 commented Mar 11, 2025

Everything else in servo uses x11-dl and this allows building on systems without X11 libraries installed.

Copy link
Member

@jdm jdm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense!

@jdm jdm enabled auto-merge March 11, 2025 01:05
Everything else in servo uses x11-dl and this allows building on systems
without X11 libraries installed.
auto-merge was automatically disabled March 11, 2025 01:16

Head branch was pushed to by a user without write access

@Ella-0
Copy link
Contributor Author

Ella-0 commented Mar 11, 2025

Forgot rustfmt. Should be fixed now.

@jdm jdm enabled auto-merge March 11, 2025 01:49
@jdm jdm added this pull request to the merge queue Mar 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Mar 11, 2025
@sagudev
Copy link
Member

sagudev commented Mar 11, 2025

CI problem is #329

@jdm jdm added this pull request to the merge queue Mar 11, 2025
Merged via the queue into servo:main with commit 0c1861e Mar 11, 2025
32 checks passed
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