const DOMAIN = config.domain;
fn check_domain() {
    assert(have_namespace(`${global::DOMAIN}`),                         `There is no ${global::DOMAIN} namespace`);
}
fn check_gitea() {
    assert(have_namespace(`${global::DOMAIN}-ci`),                      `There is no ${global::DOMAIN}-ci namespace`);
    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_service(`${global::DOMAIN}-ci`, "gitea-ssh"),           `No gitea-ssh service 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_domain();
    check_gitea();
}