Skip to content

ci: manage CI workflows through ncmake#23

Merged
ernolf merged 1 commit into
mainfrom
ernolf/ci/adopt-ncmake-workflows
Jul 19, 2026
Merged

ci: manage CI workflows through ncmake#23
ernolf merged 1 commit into
mainfrom
ernolf/ci/adopt-ncmake-workflows