19 commits

Author	SHA1	Message	Date
Folyd	a872c12762	Download crates.io dumped database before build crates index	2020-02-27 17:47:30 +08:00
Folyd	50d49a3f59	Reduce crates index build interval to 12 hours	2020-02-24 21:31:05 +08:00
Folyd	dfb4065cdc	Fix workflow error	2020-01-17 12:35:49 +08:00
Folyd	a0b274ceb2	Generate Chrome/Firefox artifact separately	2020-01-17 12:21:02 +08:00
Folyd	9db33fac09	Add User-Agent and limit the request rate to comply crates.io crawler policy	2020-01-07 23:02:21 +08:00
Folyd	e7629e5ea1	Remove branch gh-pages instead of push to branch now	2020-01-05 00:17:28 +08:00
Folyd	f4cdc2a28c	Temporary disable schedule crates index task	2020-01-04 15:30:49 +08:00
Folyd	b7bf89f011	Add build binary workflows and script	2019-12-30 20:26:15 +08:00
Folyd	2e02755dec	Trigger docs deployment by repository_dispatch event	2019-12-30 18:42:33 +08:00
Folyd	2d23703207	Add crates-index workflows	2019-12-27 23:49:02 +08:00
Folyd	a96ea8f203	Try fix github action error	2019-12-27 00:19:07 +08:00
Folyd	5e4c71f216	Add deploy-docs.sh to deploy docs for Github Action	2019-12-27 00:01:21 +08:00
Folyd	c55ed80359	Specify the build dir env	2019-11-29 15:56:35 +08:00
Folyd	110fe870a2	Fix docs workflow	2019-11-28 23:34:30 +08:00
Folyd	28f32750ae	Add docs workflow to deploy docs to github pages	2019-11-28 23:22:04 +08:00
Folyd	907ba7eff9	Add github action build badge	2019-11-01 21:49:47 +08:00
Folyd	598a21e732	Fix github workflow artifact name	2019-10-29 18:47:47 +08:00
Folyd	b3592f1212	Fix github workflows	2019-10-29 17:51:44 +08:00
Folyd	e46f208d5f	Add github workflows file	2019-10-29 17:09:30 +08:00