Move script

Author: foolip

.github/workflows/labels.yml

@@ -15,4 +15,4 @@ jobs:
         with:
           python-version: '3.11'
       - run: python -m pip install requests
-      - run: python .github/workflows/labels.py
+      - run: python labels/labels.py

.github/workflows/labels.py renamed to labels/labels.py

@@ -2,7 +2,7 @@
 
 import requests
 
-dir = Path('labels')
+dir = Path(__file__).parent
 
 # Remove labels/*.txt.
 for child in dir.iterdir():
@@ -25,7 +25,9 @@
 # Write one file for every label.
 for label, tests in labels.items():
     tests.sort()
-    with dir.joinpath(f'{label}.txt').open(mode='w') as f:
+    filename = f'{label}.txt'
+    print(f'Writing {len(tests)} tests to {filename}')
+    with dir.joinpath(filename).open(mode='w') as f:
         for test in tests:
             f.write(test)
             f.write('\n')