Attempt to fix failing CI