Hamir Mahal
d63322f0f4
fix: usage of a deprecated Node.js version
2024-10-28 09:04:16 -07:00
Bruce Mitchener
4c64d7cea2
ci: Update to actions/checkout@v4
from v3
.
...
This also updates the book's section on CI for the same thing.
changelog: none
2023-12-26 18:43:16 -05:00
Philipp Krones
8d89cc4307
Update rust-cache GHA in deploy workflow
...
This action was way outdated, produced a lot of warnings and didn't seem to work
anymore.
2023-11-16 19:31:06 +01:00
Takayuki Nakata
8100a8843b
Update actions/checkout
2023-05-12 22:39:33 +09: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
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