Skip to content

Simplify the run scripts#735

Open
asarhaddon wants to merge 10 commits into
kanaka:masterfrom
asarhaddon:ocaml
Open

Simplify the run scripts#735
asarhaddon wants to merge 10 commits into
kanaka:masterfrom
asarhaddon:ocaml

Commits

Commits on Jul 20, 2026