11 commits

Author	SHA1	Message	Date
kyoto7250	11bf291189	update node.js version	2022-06-26 20:19:32 +09:00
flip1995	980d88e25c	Build mdbook in remark workflow ... This is just to ensure that the book builds all time to not get in trouble when syncing with rust-lang/rust	2022-06-16 14:10:35 +02:00
David Tolnay	8ef4b8d248	Update GitHub Actions actions/checkout@v2 to v3 ... The v2 implementation uses Node 12, which is end-of-life on April 30, 2022. See https://nodejs.org/en/about/releases/. Update to v3, which is based on Node 16 whose support lasts until April 30, 2024.	2022-04-29 19:32:24 -07:00
Takayuki Nakata	f4ea50b4f7	Use node v12.x in CI	2021-08-04 10:27:05 +09:00
Cameron Steffen	5b5f0ea606	Add remark-gfm to workflow job	2021-06-25 10:30:37 -05:00
flip1995	2c8cd7d93c	Update actions due to deprecation of set-env and add-path	2020-10-09 09:17:48 +02:00
flip1995	b0d25de54a	Use list instead of array for branch names ... This is the officially supported method	2020-02-12 11:03:39 +01:00
flip1995	b47dada167	Apply review comments	2020-02-12 09:34:28 +01:00
flip1995	abb095dded	Run bors checks unconditionally ... This is important, since bors doesn't know optional jobs. Otherwise bors would time out, when a check doesn't get run.	2020-02-12 09:34:28 +01:00
flip1995	b8b47ab6fe	Add bors dummy jobs	2020-02-12 09:34:28 +01:00
flip1995	20c3319961	Add remark check to GHA	2020-02-12 09:34:25 +01:00