fix(test-harness): hax-engine-names-extract needs hax in PATH#628
Merged
W95Psp merged 1 commit intomainfrom fix-test-harness-for-new-name-crateApr 25, 2024
+20-5
hax-engine-names-extract needs hax in PATH#628