doc/conf: Fix html_theme not defined #374
Merged
Cirrus CI / debian10
succeeded
Aug 28, 2023 in 2m 56s
Task Summary
Task successfully finished!
Details
ℹ️ Scheduling was delayed due to a concurrency limit on community tasks
✅ 00:01 clone
✅ 00:02 sync_submodules
✅ 02:05 build
✅ 00:45 test
✔️ 00:00 upload_btest_tmp_dir
Loading