dumux-lecture is currently tested alongside dumux. So they share the same build badge.