Work around failures on platforms where the number of files open at once is limited#933

Merged

smorimoto merged 1 commit intoocaml:masterfrom kit-ty-kate:workaround-gpatch-macos

Feb 10, 2025

+1-1

Commits on Feb 10, 2025

Work around failures on platforms where the number of files open at once is limited

kit-ty-kate
authored and
smorimoto
committed