Skip to content

ci: split check and distcheck

Currently we use make check and make distcheck in the same job, the best would be to separate the two to gain in readability