Resolve "Issue a warning or error if any MPI dependencies in build_requires but not group_deps"
requested to merge 251-issue-a-warning-or-error-if-any-mpi-dependencies-in-build_requires-but-not-group_deps into master
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
gitlab.psi.ch will be shutdown by end of November! Please migrate repositories to https://gitea.psi.ch - if you need help, contact gitea@psi.ch