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
flip1995