Skip to content

Conversation

Ocean-OS
Copy link
Member

@Ocean-OS Ocean-OS commented Sep 2, 2025

It looks like #1518 was merged without checking if the lint test passed, so this should correct it.

Before submitting the PR, please make sure you do the following

  • It's really useful if your PR references an issue where it is discussed ahead of time.
  • Prefix your PR title with feat:, fix:, chore:, or docs:.
  • This message body should clearly illustrate what problems it solves.

Copy link

vercel bot commented Sep 2, 2025

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Updated (UTC)
svelte-dev Ready Ready Preview Sep 2, 2025 7:22am

@paoloricciuti paoloricciuti merged commit 8999dfd into main Sep 4, 2025
2 checks passed
@paoloricciuti paoloricciuti deleted the fix-failing-lint branch September 4, 2025 00:50
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.

2 participants