Dario Nieuwenhuis 92758c3119 ci: use nightly for building docs.		2023-12-23 16:01:08 +01:00
..
ci	ci: use nightly for building docs.	2023-12-23 16:01:08 +01:00
workflows	Move doc building to new CI.	2023-05-31 14:29:40 +02:00