diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:54:15 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:54:15 +0200 |
| commit | bef57d899ca64c84f1491756ff58d69b954f12d9 (patch) | |
| tree | aef8a23885b3b37797c153521419563ae9f6ac22 /.github | |
| parent | 5a5efb29d959239741b9defefed06d544249d8dd (diff) | |
ci: only deploy on github pages from master
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 824a3fd..7389244 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -40,3 +40,4 @@ jobs: (cd build && /tmp/deploy) env: GITHUB_DEPLOY_KEY: ${{ secrets.GITHUB_DEPLOY_KEY }} + if: github.ref == 'refs/heads/master' |