2 Commits

Author SHA1 Message Date
357995a15a ci: add index.html.
Currently this is just a redirect, but we could build for different versions and
add a menu.
2023-03-08 11:49:48 +00:00
ecc1345338 ci: build docs. 2023-03-08 11:49:48 +00:00