Attempt to fix CI slowness