7ac151508e
Make CI a little bit safer
2025-01-03 00:44:35 +01:00
d63322f0f4
fix: usage of a deprecated Node.js version
2024-10-28 09:04:16 -07:00
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
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
8100a8843b
Update actions/checkout
2023-05-12 22:39:33 +09:00
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
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
64a7d019f1
Remove all usage of set-env
2020-10-09 11:49:54 +02:00
2c8cd7d93c
Update actions due to deprecation of set-env and add-path
2020-10-09 09:17:48 +02:00
35ef280b55
Always use the deploy script and templates of the master branch
2020-04-23 21:14:35 +02:00
aa1ad42736
Also deploy from the beta branch
2020-03-25 20:20:54 +01:00
ee91b5b2dd
Do not run deploy action on other repos
2020-02-24 15:16:23 +09:00
3241e4fed4
Run deploy workflow on tags, instead of releases
2020-02-12 15:01:39 +01:00
b0d25de54a
Use list instead of array for branch names
...
This is the officially supported method
2020-02-12 11:03:39 +01:00
b47dada167
Apply review comments
2020-02-12 09:34:28 +01:00
dfdea56e99
Extract deployment
2020-02-12 09:34:27 +01:00
893e261a99
Add deployment to GHA
2020-02-12 09:34:26 +01:00
blyxyas