Commit e1d88f17 authored by Jehan's avatar Jehan

gitlab-ci: run distcheck with multi-jobs.

parent de4f9811
Pipeline #202513 passed with stages
in 56 minutes and 35 seconds