owi icon indicating copy to clipboard operation
owi copied to clipboard
verified publisher icon OCamlPro

check if the test-suite directory is still working for Test-Comp

Open S41d opened this issue 9 months ago • 1 comments

related #577

S41d avatar Mar 28 '25 14:03 S41d

See discussion in #577

redianthus avatar Mar 28 '25 14:03 redianthus

cc @S41d, I think it was broken but was fixed in #620 ?

redianthus avatar May 09 '25 15:05 redianthus

Yeah I think so

S41d avatar May 09 '25 15:05 S41d