Effective Documentation Testing in CI