]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #5517 - flip1995:deploy_time_travel, r=Manishearth
authorPhilipp Krones <hello@philkrones.com>
Sat, 25 Apr 2020 19:06:30 +0000 (21:06 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Apr 2020 19:06:30 +0000 (21:06 +0200)
Deploy time travel

Since not only commits to the master branch, but also tags and the beta branch are deployed, we have to be cautious which version of the deploy script is used. GHA always runs the workflow that is commited on the `ref`, that gets tested. For tagged commits. this is 6 weeks outdated workflows/scripts. To prevent this, this workflow first checks out the deploy.sh script, the website templates and all python scripts generating files for the website.

changelog: none


Trivial merge