Disable style check.

This commit is contained in:
chriseth 2019-09-16 19:06:50 +02:00
parent 41d9316cc5
commit 0567643323

View File

@ -613,7 +613,7 @@ workflows:
# basic checks # basic checks
- chk_spelling: *workflow_trigger_on_tags - chk_spelling: *workflow_trigger_on_tags
- chk_coding_style: *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_buglist: *workflow_trigger_on_tags
- chk_proofs: *workflow_trigger_on_tags - chk_proofs: *workflow_trigger_on_tags