2 Commits

Author SHA1 Message Date
Dario Nieuwenhuis
e2cad81497 Build docs with more threads. 2023-06-28 18:05:13 +02:00
Dario Nieuwenhuis
5f90914cb9 build docs in Ci. 2023-06-28 17:59:25 +02:00