From 5a5efb29d959239741b9defefed06d544249d8dd Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Wed, 14 Aug 2019 14:36:55 +0200
Subject: ci: use deploy keys to push to github pages

---
 .github/workflows/main.yml | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to '.github')

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 }}
-- 
cgit v1.2.3