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

Remove @web/dev-server #23179

Merged
merged 1 commit into from
Dec 6, 2024
Merged

Remove @web/dev-server #23179

merged 1 commit into from
Dec 6, 2024

Conversation

MindFreeze
Copy link
Contributor

Proposed change

It was supposed to be removed with the WDS cleanup but snuck back in with a merge conflict

Type of change

  • Dependency upgrade
  • Bugfix (non-breaking change which fixes an issue)
  • New feature (thank you!)
  • Breaking change (fix/feature causing existing functionality to break)
  • Code quality improvements to existing code or addition of tests

Example configuration

Additional information

  • This PR fixes or closes issue: fixes #
  • This PR is related to issue or discussion:
  • Link to documentation pull request:

Checklist

  • The code change is tested and works locally.
  • There is no commented out code in this PR.
  • Tests have been added to verify that the new code works.

If user exposed functionality or configuration variables are added/changed:

@MindFreeze MindFreeze enabled auto-merge (squash) December 6, 2024 09:48
@MindFreeze MindFreeze merged commit e0b157d into dev Dec 6, 2024
12 checks passed
@MindFreeze MindFreeze deleted the remove-dev-server branch December 6, 2024 09:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants