[#1855] temporary CI fix to avoid infinite loop