No where in the Bible do angels produce music. Doesn’t’ mean they can’t.
If David is available, Jesus might call on him to play.
There are suggestions of it, such as the sound of harpists harping on their harps heard from heaven. And the calling one to another “holy, holy, holy is the Lord of hosts — the whole world is full of His glory” is in classical antiphonal form. If it is not music, it is something greater, not less, than music as we know it.
Some Christians straitjacket their thoughts so tightly to the beggared view of the bible they allow themselves to recognize, that they can’t recognize what would cause those straitjackets to go away, poof.
And the ancient temples had large bands or orchestras. It wasn’t just David, even though the other musicians went anonymous.
Music as we know it is something that is for man’s benefit. We already have copious proof that it’s imperfect, as the widespread Western use of the equal temperament scale proves. It’s close enough to evoke the ideal in our heads and allow playing in any key (which makes many musical effects possible that would not otherwise be possible), while not being mathematically exact. What tuning system did David use — I do not know.
Who were the harpists harping on their harps? All we know from the bible is that it emanated from heaven, the place where perfection exists. So there’s nothing to say whether it was saints, or angels, or even both.