From aecd005c6082f5025fa49ee15d26be4666cbca75 Mon Sep 17 00:00:00 2001
From: Matt Moyer <moyerm@vmware.com>
Date: Thu, 6 Aug 2020 20:52:28 -0500
Subject: [PATCH] Disable ./hack/verify-codegen.sh in CI since we don't have
 Docker available yet.

This seems fixable but not in a trivial way from what I could tell.

Signed-off-by: Matt Moyer <moyerm@vmware.com>
---
 hack/verify.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hack/verify.sh b/hack/verify.sh
index 375242d1..d23e3896 100755
--- a/hack/verify.sh
+++ b/hack/verify.sh
@@ -6,4 +6,6 @@ set -euo pipefail
 ROOT="$(realpath "$(dirname "${BASH_SOURCE[0]}")/..")"
 
 "$ROOT/hack/module.sh" lint
-"$ROOT/hack/verify-codegen.sh"
+
+# TODO: re-enable once we figure out how to run docker in CI
+#"$ROOT/hack/verify-codegen.sh"