I am reading the three texts on Condensed Mathematics by Scholze and Clausen. I also interested in paper "A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry" by Lucas Mann.

To advance in  the texts I will have to learn about Derived Categories and later about $\infty$-Categories. In these texts the autors treat $\mathcal{D(A)}$ as a $\infty$-category.

Is there a text on Derived Categories using $\infty$-Categories rather than just Triangulated Categories (that don't require me to study the entirety of Higher Topos Theory to read it)? It is necessary for me to know the construction using triangulated categories first? How much of $\infty$-Categories is necessary to read the three condensed texts? What is a good reference for it?