Add PPI check in `Do: check` instead of doing it in tests
Adding the PPI check as part of GitLab would speed up documentation branch development time.
cc: @mwestphal
Adding the PPI check as part of GitLab would speed up documentation branch development time.
cc: @mwestphal