3 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
Dario Nieuwenhuis	883442f2ad	Switch to bender CI	2023-06-28 17:44:05 +02:00