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
