diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:36:55 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:52:54 +0200 |
commit | 5a5efb29d959239741b9defefed06d544249d8dd (patch) | |
tree | e126304664f0ceabc33496b3b1e9f5736afdb6fc /.github | |
parent | 1b97ece357cfecd09b0f796a2401024fbcf594d2 (diff) |
ci: use deploy keys to push to github pages
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index f1340f1..824a3fd 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -33,8 +33,10 @@ jobs: cargo run -- static-api build echo "team-api.infra.rust-lang.org" > build/CNAME - - uses: rust-lang/simpleinfra/github-actions/static-websites@master - with: - deploy_dir: build - github_token: "${{ secrets.github_token }}" - if: github.ref == 'refs/heads/master' + - name: Deploy to GitHub Pages + run: | + touch build/.nojekyll + curl -LsSf https://raw.githubusercontent.com/rust-lang/simpleinfra/master/setup-deploy-keys/src/deploy.rs | rustc - -o /tmp/deploy + (cd build && /tmp/deploy) + env: + GITHUB_DEPLOY_KEY: ${{ secrets.GITHUB_DEPLOY_KEY }} |