Add cmake build with external ginkgo to CI/CD pipeline

Question

greole opened this issue 3 years ago · 1 comments

Answer 1 · 2021-04-24T09:35:24.000Z

Implemented by #9