10 commits

Author	SHA1	Message	Date
Rob Ede	99bf774e94	update gh-pages deploy action	2022-09-03 22:15:59 +01:00
Rob Ede	35b0fd1a85	specify branch in doc job	2022-09-03 22:05:28 +01:00
Rob Ede	0b5b4dcbf3	reduce size of docs branch	2022-09-03 21:56:37 +01:00
Rob Ede	b95e1dda34	pin h2 to 0.3.0	2021-02-27 19:57:09 +00:00
Rob Ede	9604e249c9	use stable clippy (#1963)	2021-02-07 20:33:53 +00:00
Rob Ede	2f11ef089b	fix rustdoc uploads	2020-11-24 00:29:13 +00:00
Aravinth	49e945c88f	switching to nightly for intra-doc links (#1783)	2020-11-09 14:01:36 +00:00
Yuki Okushi	6e97bc09f8	Use action to upload docs	2020-08-13 16:04:50 +09:00
Yuki Okushi	dfaa330a94	Deploy all the workspace crates' docs	2020-04-08 04:42:38 +09:00
Yuki Okushi	7d40b66300	Add some Actions workflows	2020-02-08 04:28:34 +09:00