Skip to content

fix: remove empty-object lint skip #5156

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.

Sign up for GitHub

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

Open
999axel999 wants to merge 2 commits into
base: master
Choose a base branch
from
Open

fix: remove empty-object lint skip #5156

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a4e00b0
fix: remove empty-object lint skip
999axel999 May 23, 2026
3981812
chore: refresh CI
999axel999 Jun 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 0 additions & 9 deletions eo-runtime/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -270,15 +270,6 @@
skip entry entirely once the lint is removed from the lints repo.
-->
<lint>idempotent-attribute-is-not-first</lint>
<!--
@todo #5078:30min. Remove `empty-object` skip.
The lint flags formations whose `<o>` has no @base/@name
and no children — the canonical empty anonymous formation.
The new spec parser emits this shape verbatim for `[]`
and similar; the lint disagrees. Drop this skip when the
lint is updated or removed upstream.
-->
<lint>empty-object</lint>
</skipSourceLints>
<skipProgramLints>
<lint>inconsistent-args</lint>
Expand Down
Loading