What music was played at antonio vivaldi funeral?

Antonio Vivaldi's funeral took place in 1741, and it is believed that his own compositions, particularly his sacred music, may have been performed. However, specific details about the exact pieces played at his funeral are not well-documented. Given Vivaldi's prominence in the Baroque period, it is likely that works showcasing his style, such as parts from his choral or orchestral pieces, were included.