From 4a84690f226c2e20bce25629757de4113f79d931 Mon Sep 17 00:00:00 2001 From: Turadg Aleahmad Date: Wed, 20 Jul 2022 09:07:25 -0700 Subject: [PATCH] ci: temporarily disable linting types --- scripts/lint-with-types.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/lint-with-types.sh b/scripts/lint-with-types.sh index ddf9e3aca8e..fed1a3afa4b 100755 --- a/scripts/lint-with-types.sh +++ b/scripts/lint-with-types.sh @@ -1,7 +1,9 @@ #!/bin/sh # we don't collect type info by default because it can slow eslint by 8-10x -export AGORIC_ESLINT_TYPES='true' +# FIXME even in CI it has become too slow so disable until https://github.com/Agoric/agoric-sdk/issues/5788 +# export AGORIC_ESLINT_TYPES='keypresent' + # CI and some VMs OOM without this export NODE_OPTIONS='--max-old-space-size=8192'