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

Make explicit that each run script is executed in its own directory

d2d001f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
get-matrix
succeeded Jul 20, 2026 in 6s