Skip to content

document the setup_scripts field for cram#13010

Merged
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:setup-scripts
Dec 26, 2025
Merged

document the setup_scripts field for cram#13010
rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg:setup-scripts

Commits

Commits on Dec 19, 2025