#236: Do not register problems on mapping composition annotations#239

Merged

filiphr merged 3 commits into

mainfrom

Jul 31, 2025

Codecov / codecov/project succeeded Jul 28, 2025 in 0s

81.95% (-0.02%) compared to e99789c

View this Pull Request on Codecov

81.95% (-0.02%) compared to e99789c

View more details on Codecov