Skip to content

Comments

Both command.id and override.command should't reference a command id#2011

Merged
merks merged 1 commit intoeclipse-platform:masterfrom
merks:pr-quicklinks-schema
Jul 6, 2025
Merged

Both command.id and override.command should't reference a command id#2011
merks merged 1 commit intoeclipse-platform:masterfrom
merks:pr-quicklinks-schema

Conversation

@merks
Copy link
Contributor

@merks merks commented Jul 5, 2025

  • Both allow a serialized command and the override.command even allows a pattern so validation produces warnings for those usages because they are expecting on a simple id reference to a command.

@merks merks force-pushed the pr-quicklinks-schema branch from d4f6967 to 99c7ccf Compare July 5, 2025 15:08
- Both allow a serialized command and the override.command even allows a
pattern so validation produces warnings for those usages because they
are expecting only a simple id reference to a command.
@merks merks force-pushed the pr-quicklinks-schema branch from 99c7ccf to 0043bac Compare July 5, 2025 15:29
@github-actions
Copy link
Contributor

github-actions bot commented Jul 5, 2025

Test Results

 1 947 files  ±0   1 947 suites  ±0   1h 29m 4s ⏱️ - 4m 25s
 4 718 tests ±0   4 694 ✅ ±0   24 💤 ±0  0 ❌ ±0 
14 154 runs  ±0  13 987 ✅ ±0  167 💤 ±0  0 ❌ ±0 

Results for commit 0043bac. ± Comparison against base commit efcafa4.

@merks merks merged commit e666332 into eclipse-platform:master Jul 6, 2025
18 checks passed
@merks merks deleted the pr-quicklinks-schema branch July 6, 2025 06:29
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.

1 participant