CI: Add a 4.0 debian job and aggregate its coverage results
CI: Add a 4.0 debian job and aggregate its coverage results

chouquette/medialibrary,chouquette/medialibrary,chouquette/medialibrary,chouquette/medialibrary