9 Commits

Author	SHA1	Message	Date
Victor Zverovich	86bb7fe614	Add a missing import	2020-11-08 05:55:49 -08:00
Victor Zverovich	4f7df299ea	Improve docs	2020-11-08 05:40:39 -08:00
Victor Zverovich	701ed6c874	Install deps in github actions instead of script	2020-11-07 11:16:38 -08:00
Victor Zverovich	2eb0be0b73	Remove debug code and fix bot contact	2020-11-07 09:16:55 -08:00
Victor Zverovich	cd95579834	Move less installation to actions	2020-11-07 09:12:54 -08:00
Victor Zverovich	b123129f4e	Dump the content of html dir	2020-11-07 08:42:13 -08:00
Victor Zverovich	9f0617cbfb	Fix branch ref	2020-11-07 08:04:01 -08:00
Victor Zverovich	dfbb6975b3	Remove travis config	2020-11-07 07:38:20 -08:00
Victor Zverovich	5b3052f999	Switch doc build to github actions	2020-11-07 07:31:15 -08:00