the Github checks page shows as if there were 2 Azure Pipeline builds, one with everything except the Linux build, and the other, the last one, with only the Linux build