diff options
| author | Egor Tensin <egor@tensin.name> | 2026-03-28 18:05:12 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-03-28 18:05:12 +0100 |
| commit | 0d4f9ea45d49a08218f171759e8668b935d02272 (patch) | |
| tree | 7377a791d831467fb4c6845cc9890c25e99b0680 /.github | |
| parent | dependabot: add a comment on Bundler tracking (diff) | |
| download | jekyll-theme-0d4f9ea45d49a08218f171759e8668b935d02272.tar.gz jekyll-theme-0d4f9ea45d49a08218f171759e8668b935d02272.zip | |
workflows/ci: try to green-light builds for PRs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 696016d..b6f1d7a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,14 +24,15 @@ jobs: nohup make serve LIVE_RELOAD=0 & sleep 3 && make wget - name: Set up ssh-agent + if: github.ref == 'refs/heads/master' uses: webfactory/ssh-agent@v0.10.0 with: ssh-private-key: '${{ secrets.REMOTE_SSH_KEY }}' - name: Deploy + if: github.ref == 'refs/heads/master' run: make deploy env: REMOTE_USER: '${{ secrets.REMOTE_USER }}' REMOTE_HOST: '${{ secrets.REMOTE_HOST }}' REMOTE_PORT: '${{ secrets.REMOTE_PORT }}' REMOTE_DIR: '${{ secrets.REMOTE_DIR }}' - if: github.ref == 'refs/heads/master' |