CI tests for Magma.