ci: configure vaadin-dev as optional dependency

[javier-godoy]

Summary by CodeRabbit

Release Notes

• Chores
  • Updated build configuration to mark a development dependency as optional.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[coderabbitai]

Walkthrough

Marks the vaadin-dev dependency as optional within the Maven v25 profile by adding an <optional>true</optional> element to its declaration in pom.xml. No logic or control flow changes.

Changes

Cohort / File(s)	Summary
Maven Configuration pom.xml	Modified vaadin-dev dependency in v25 profile to mark as optional by adding <optional>true</optional> element

Estimated code review effort

🎯 1 (Trivial) | ⏱️ ~2 minutes

Suggested reviewers

• mlopezFC
• paodb

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title accurately describes the main change: configuring vaadin-dev as an optional dependency in pom.xml, which matches the changeset.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud