12 commits

Author	SHA1	Message	Date
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
flip1995	6c5d199d57	Update deploy CI ... This updates all the deploy scripts and the deploy workflow. The deploy workflow now runs the metadata collector to collect the lint documentation. It also changes the files that are checked out in the deploy workflow from master and adds an explanation why we have to do this.	2021-07-28 14:16:31 +02:00
flip1995	64a7d019f1	Remove all usage of set-env	2020-10-09 11:49:54 +02:00
flip1995	2c8cd7d93c	Update actions due to deprecation of set-env and add-path	2020-10-09 09:17:48 +02:00
flip1995	35ef280b55	Always use the deploy script and templates of the master branch	2020-04-23 21:14:35 +02:00
flip1995	aa1ad42736	Also deploy from the beta branch	2020-03-25 20:20:54 +01:00
Yuki Okushi	ee91b5b2dd	Do not run deploy action on other repos	2020-02-24 15:16:23 +09:00
flip1995	3241e4fed4	Run deploy workflow on tags, instead of releases	2020-02-12 15:01:39 +01: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	dfdea56e99	Extract deployment	2020-02-12 09:34:27 +01:00
flip1995	893e261a99	Add deployment to GHA	2020-02-12 09:34:26 +01:00