Closed sklgromek closed 2 years ago
Changes in some directories should not trigger integration tests running. E.g. in documentation
It's created in regard to https://github.com/magma/magma/issues/12569
Changes in some directories should not trigger integration tests running. E.g. in documentation
It's created in regard to https://github.com/magma/magma/issues/12569