From 0567643323e683081457f3f5c1add2f77d44c45e Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 16 Sep 2019 19:06:50 +0200 Subject: [PATCH] Disable style check. --- .circleci/config.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index d5a5f67af..7af33d3ff 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -613,7 +613,7 @@ workflows: # basic checks - chk_spelling: *workflow_trigger_on_tags - chk_coding_style: *workflow_trigger_on_tags - - chk_docs_examples: *workflow_trigger_on_tags + # DISABLED FOR 0.6.0 - chk_docs_examples: *workflow_trigger_on_tags - chk_buglist: *workflow_trigger_on_tags - chk_proofs: *workflow_trigger_on_tags