Davide D'Alto, thanks! I wasn't even aware that there is an issue, just saw the failure on CI.