Maybe just a GitHub UI fuckup? Can you check manually before merging?