issue/940 - check ninetoothed ops build result#941

Merged

wooway777 merged 1 commit intoissue/889from

Jan 16, 2026

Commits on Jan 16, 2026

issue/940 - check build result and implicitly require build.py
wooway777
committed