Autoproof CI/CD connections
Documentation