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
Currently we use make check and make distcheck in the same job, the best would be to separate the two to gain in readability