Fixing the CI fails from MK