/magnum-ci

Various CI jobs for building Magnum and its dependencies.

No issues in this repository yet.