Skip to content

Adapt JSOO rules for new --effects= option#11222

Merged
rgrinberg merged 1 commit intoocaml:mainfrom
OlivierNicole:jsoo-effects
May 1, 2025
Merged

Adapt JSOO rules for new --effects= option#11222
rgrinberg merged 1 commit intoocaml:mainfrom
OlivierNicole:jsoo-effects

Commits

Commits on Apr 28, 2025