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"