It was not finding a contribution. I fixed it in one place but it could be in others. In general there is a mixup between the directory of the nxdl file and the category, which is not the same.
Coverage remained the same at 95.221% when pulling 5883b18da01e0f5af8f11a109bff8cda048246dd on woutdenolf:contributed_definitions_category into 32d9c3b1aee189367a33bdf34c2f1a6a2b9ccc43 on prjemian:main.
It was not finding a contribution. I fixed it in one place but it could be in others. In general there is a mixup between the directory of the nxdl file and the category, which is not the same.