Skip to content

CI: Run ctest#38

Merged
certik merged 2 commits intomasterfrom ci4Oct 19, 2023

Commits

Commits on Oct 19, 2023