From 84d3138647254bbdbcef13337fd8ed9119a9d88d Mon Sep 17 00:00:00 2001 From: clokep Date: Wed, 21 Dec 2022 18:09:08 +0000 Subject: [PATCH] deploy: 14abf22dd696129f69cd1a14b2044a4ca6cb1972 --- develop/code_style.html | 4 ++-- develop/print.html | 4 ++-- develop/searchindex.js | 2 +- develop/searchindex.json | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/develop/code_style.html b/develop/code_style.html index c40c012932..c352b63481 100644 --- a/develop/code_style.html +++ b/develop/code_style.html @@ -155,7 +155,7 @@ errors in code.

Install them with:

@@ -167,7 +167,7 @@ errors in code.

It's worth noting that modern IDEs and text editors can run these tools automatically on save. It may be worth looking into whether this functionality is supported in your editor for a more convenient -development workflow. It is not, however, recommended to run flake8 or mypy +development workflow. It is not, however, recommended to run mypy on save as they take a while and can be very resource intensive.

General rules