Skip to content

Merge pull request #1315 from vadi2/fix-show-inherited-invariants #2679

Merge pull request #1315 from vadi2/fix-show-inherited-invariants

Merge pull request #1315 from vadi2/fix-show-inherited-invariants #2679

Annotations

1 warning

Check for bidi unicode characters in repo

succeeded Jul 29, 2026 in 18s