3 commits

Author	SHA1	Message	Date
Dario Nieuwenhuis	d49d1b6b1c	ci/doc: build embassy-time too.	2022-10-05 17:08:02 +02:00
Dario Nieuwenhuis	f075e62444	Use 1 thread in ci doc building.	2022-10-03 01:59:44 +02:00
Dario Nieuwenhuis	753781a263	Build docs in CI	2022-10-02 23:30:12 +02:00