const DOMAIN = config.domain;
fn check_gitea() {
    assert(have_install(`${global::DOMAIN}-ci`, "gitea"),           `No gitea installation in ${global::DOMAIN}-ci`);
    assert(have_ingress(`${global::DOMAIN}-ci`, "gitea"),           `No gitea ingress in ${global::DOMAIN}-ci`);
    assert(have_secret(`${global::DOMAIN}-ci`, "gitea"),            `No gitea secret in ${global::DOMAIN}-ci`);
    assert(have_secret(`${global::DOMAIN}-ci`, "gitea"),            `No gitea secret in ${global::DOMAIN}-ci`);
    assert(have_secret(`${global::DOMAIN}-ci`, "gitea-admin-user"), `No gitea-admin-user secret in ${global::DOMAIN}-ci`);
}
fn pre_check() {
    check_gitea();
}