Diff NormalizationTest.txt in CI

Author: Jules-Bertholet

.github/workflows/rust.yml

@@ -18,9 +18,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
-    - uses: actions/setup-python@v5
-      with:
-        python-version: '3.12'
     - name: Regen tables
       run: cd scripts && python3 unicode.py
     - name: Diff tables
@@ -36,3 +33,14 @@ jobs:
     - name: Check clippy
       run: cargo clippy --lib --tests
 
+  regen:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - uses: actions/setup-python@v5
+      with:
+        python-version: '3.12'
+    - name: Regen
+      run: rm tests/NormalizationTest.txt && cd scripts && python3 unicode.py
+    - name: Diff
+      run: git diff-index --quiet HEAD --

scripts/unicode.py

@@ -65,8 +65,8 @@ class OffsetType(enum.IntEnum):
 
 If this is edited, you must ensure that `emit_module` reflects your changes."""
 
-MODULE_FILENAME = "tables.rs"
-"""The filename of the emitted Rust module (will be created in the working directory)"""
+MODULE_PATH = "../src/tables.rs"
+"""The path of the emitted Rust module (relative to the working directory)"""
 
 Codepoint = int
 BitPos = int
@@ -645,7 +645,7 @@ def emit_module(
         module.write("}\n")
 
 
-def main(module_filename: str):
+def main(module_path: str):
     """Obtain character data from the latest version of Unicode, transform it into a multi-level
     lookup table for character width, and write a Rust module utilizing that table to
     `module_filename`.
@@ -703,9 +703,9 @@ def main(module_filename: str):
     print("------------------------")
     print(f"  Total size: {total_size} bytes")
 
-    emit_module(module_filename, version, tables, variation_table)
-    print(f'Wrote to "{module_filename}"')
+    emit_module(module_path, version, tables, variation_table)
+    print(f'Wrote to "{module_path}"')
 
 
 if __name__ == "__main__":
-    main(MODULE_FILENAME)
+    main(MODULE_PATH)