Skip to content

Conversation

felangel
Copy link
Contributor

Status

READY

Description

  • chore: update website links

Type of Change

  • ✨ New feature (non-breaking change which adds functionality)
  • 🛠️ Bug fix (non-breaking change which fixes an issue)
  • ❌ Breaking change (fix or feature that would cause existing functionality to change)
  • 🧹 Code refactor
  • ✅ Build configuration change
  • 📝 Documentation
  • 🗑️ Chore

@felangel
Copy link
Contributor Author

We decided to force merge despite the cli failure since it appears unrelated (looks like a dart format bug) and we plan to upgrade the analysis options in a separate PR anyway.

@felangel felangel merged commit 534698b into main Jul 31, 2025
45 of 46 checks passed
@felangel felangel deleted the chore/update-website-links branch July 31, 2025 18:16
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