Merge branch 'maint'

2026-07-30 19:46:15 +00:00 · 2026-07-23 02:42:48 +00:00
parent fbd0dba870 291c4312dc
commit 16b1bc2c5c
8 changed files with 329 additions and 17 deletions
@@ -61,6 +61,8 @@ jobs:
        run: pip3 install --quiet pyyaml
      - name: Check local and GitHub runners cover the same work
        run: bash testing/check-ci-parity.sh
+      - name: Check test log matchers against the strings src/ emits
+        run: python3 testing/check-log-strings.py

  fmt:
    name: Format check