reference

Author	SHA1	Message	Date
Eric Huss	a0ae62bf56	Fix merge queue building twice.	2023-07-18 14:12:20 -07:00
Eric Huss	dad0240bc4	Add CI trigger for merge queues.	2023-07-16 11:43:38 -07:00
Matthew Woodcraft	4006537f4b	Github Actions: update to mdBook 0.4.14 We need mdBook to be new enough to understand the edition setting ub book.toml.	2022-01-01 16:53:48 +00:00
Weihang Lo	980ca14d6a	Update mdbook - Changelog to 0.4.5: https://github.com/rust-lang/mdBook/blob/master/CHANGELOG.md#mdbook-045) - mdbook security advisory: https://blog.rust-lang.org/2021/01/04/mdbook-security-advisory.html Some breaking changes were introduced in 0.4.0 but I skimmed The References built by 0.4.5 and no regression detected.	2021-01-05 20:53:05 +08:00
Eric Huss	f0f3dfff69	Update deprecated GitHub Actions commands.	2020-10-17 09:34:55 -07:00
Eric Huss	f135b9a2be	Add more style checks.	2020-09-15 12:02:02 -07:00
Eric Huss	5b8fed8fd8	Use common script for link checking.	2020-02-21 09:45:25 -08:00
Steve Klabnik	7ad93d21fb	github action doesn't use the nursery ... ironic that in porting the reference away from rust-lang-nursery, we accidentally depending on mdbook still being in the nursery	2019-10-30 08:15:47 -05:00
Eric Huss	be18bed2dd	Migrate to GitHub Actions.	2019-10-29 12:23:19 -07:00