Jsoo rules bug: artifacts of libraries with public names are not found#6828

Merged

nojb merged 6 commits intoocaml:mainfrom nojb:jsoo_bug

Jan 5, 2023

+34-5

Commits on Jan 4, 2023

Add repro case for Jsoo rule bug
nojb
committed

Commits on Jan 5, 2023