Skip to content

Adjust CI scripts for package specific tasks#139

Merged
maxschulz-COL merged 18 commits intomainfrom test/check_CINov 1, 2023

Commits

Commits on Oct 31, 2023

Commits on Nov 1, 2023