Update exclude_check_tools_files.txt

Add tools/ci/mypy_ignore_list.txt to exclude_check_tools_files.txt
pull/6718/head
Tomas Sebestik 2021-02-22 11:47:56 +01:00 zatwierdzone przez bot
rodzic a22597a2d6
commit cc33aafc4f
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -15,6 +15,7 @@ tools/ci/get-full-sources.sh
tools/ci/idf_ci_utils.py
tools/ci/mirror-submodule-update.sh
tools/ci/multirun_with_pyenv.sh
tools/ci/mypy_ignore_list.txt
tools/ci/normalize_clangtidy_path.py
tools/ci/push_to_github.sh
tools/ci/python_packages/wifi_tools.py