diff --git a/.github/workflows/scripts/license.py b/.github/workflows/scripts/license.py index c4e629c92..0f2001903 100644 --- a/.github/workflows/scripts/license.py +++ b/.github/workflows/scripts/license.py @@ -21,7 +21,6 @@ r"^bin\/benchpark", r"^docs\/[^\/]*\.rst$", ] -#r"^thicket/tests/.*\.py$", def _all_files(root="."):