commit | 2f0310ef74cf9377eea3cc5faae610577b7bc4fe | [log] [tgz] |
---|---|---|
author | jonathanmetzman <31354670+jonathanmetzman@users.noreply.github.com> | Thu Aug 19 18:58:20 2021 -0700 |
committer | GitHub <noreply@github.com> | Thu Aug 19 18:58:20 2021 -0700 |
tree | 9a13c777022149a7dcf02909f1ebf21bc880eb9c | |
parent | f9d0813ea8c78a4611ce72b2fae8f4797c7f3cb2 [diff] |
Disable clickhouse. (#6246) I merged https://github.com/google/oss-fuzz/pull/6244 too quickly. Clickhouse fails to build. Disable temporarily to prevent exceptions since clickhouse is new
diff --git a/projects/clickhouse/project.yaml b/projects/clickhouse/project.yaml index bee17b2..c3972d5 100644 --- a/projects/clickhouse/project.yaml +++ b/projects/clickhouse/project.yaml
@@ -12,3 +12,4 @@ experimental: True - undefined main_repo: 'https://github.com/ClickHouse/ClickHouse.git' +disabled: True