From 1623d46704c7aabf6fcc4d8c2388c4532daac26d Mon Sep 17 00:00:00 2001 From: spalger Date: Tue, 23 Apr 2019 15:22:06 -0700 Subject: [PATCH] disable github checks reporter --- src/dev/ci_setup/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dev/ci_setup/setup.sh b/src/dev/ci_setup/setup.sh index 2da867ce463c0..97d827bed2f18 100755 --- a/src/dev/ci_setup/setup.sh +++ b/src/dev/ci_setup/setup.sh @@ -184,7 +184,7 @@ fi ### ### github-checks-reporter kill switch. Remove to disable ### -export CHECKS_REPORTER_ACTIVE=true +export CHECKS_REPORTER_ACTIVE=false ### ### Implements github-checks-reporter kill switch when scripts are called from the command line