diff --git a/.github/workflows/pyre.yml b/.github/workflows/pyre.yml index 2e2a9004323..c37bfbd7c97 100644 --- a/.github/workflows/pyre.yml +++ b/.github/workflows/pyre.yml @@ -23,7 +23,7 @@ jobs: pip install --upgrade pip pip install -r requirements.txt pip install cython flask flask_cors graphql-core typing_inspect - VERSION=$(grep "version" .pyre_configuration | sed -n -e 's/.*\(0\.0\.[0-9]*\).*/\1/p') + VERSION=$(grep "version" pyproject.toml | sed -n -e 's/.*\(0\.0\.[0-9]*\).*/\1/p') pip install pyre-check-nightly==$VERSION - name: Run Pyre diff --git a/pyproject.toml b/pyproject.toml index 8eccc03cf95..858a60458fc 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -28,6 +28,7 @@ commands = usort check client scripts tools flake8 client scripts tools """ + [tool.ufmt] excludes = [ "documentation/", @@ -36,3 +37,36 @@ excludes = [ "source/", "stubs/" ] + +[tool.pyre] +exclude = [ + ".*/documentation/.*", + ".*/generate_taint_models/.*", + ".*/scripts/.*", + ".*/source/.*", + ".*/pyre-check/stubs/.*" +] +ignore_all_errors = [ + "client/tests/configuration_test.py", + "pyre_extensions/safe_json.py" +] +search_path = [ + { "site-package" = "click" }, + { "site-package" = "dataclasses_json"}, + { "site-package" = "flask" }, + { "site-package" = "flask_cors" }, + { "site-package" = "graphql" }, + { "site-package" = "intervaltree" }, + { "site-package" = "libcst" }, + { "site-package" = "marshmallow" }, + { "site-package" = "psutil" }, + { "site-package" = "testslide" }, + { "is_toplevel_module" = true, "site-package" = "typing_extensions" }, + { "is_toplevel_module" = true, "site-package" = "typing_inspect" }, + { "site-package" = "tomli" } +] +source_directories = [ + "." +] +strict = true +version = "0.0.101695726714"