Enhance check.rb (TESTFILEDIR and others)#743

Merged

jodavies merged 4 commits intoform-dev:masterfrom

tueda:pr/feat/enhanced-cherk_rb

Dec 9, 2025

Commits on Nov 21, 2025

fix(check.rb): nterms and bytesize with module advertisement
tueda
committed

Commits on Nov 28, 2025