Skip to content

Remove GitHub actions that do not work anymore and simplyfy our CMake…#314

Merged
dantti merged 1 commit intomasterfrom dantti/ci_fixesNov 9, 2023
+65-305

Commits

Commits on Nov 9, 2023