diff options
| author | Egor Tensin <egor@tensin.name> | 2026-03-28 18:13:46 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-03-28 18:13:46 +0100 |
| commit | f6bb52b006347cb5ece6076be342d05902445288 (patch) | |
| tree | 47ed4cc20a6e2bb7c0c9882af879baaa15cce3ec /.github/workflows | |
| parent | dependabot: add a comment on Bundler tracking (diff) | |
| download | sorting-algorithms-f6bb52b006347cb5ece6076be342d05902445288.tar.gz sorting-algorithms-f6bb52b006347cb5ece6076be342d05902445288.zip | |
workflows/jekyll: try to green-light builds for PRs
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/jekyll.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml index d84dee2..056c3d0 100644 --- a/.github/workflows/jekyll.yml +++ b/.github/workflows/jekyll.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/gh-pages' uses: webfactory/ssh-agent@v0.9.1 with: ssh-private-key: '${{ secrets.REMOTE_SSH_KEY }}' - name: Deploy + if: github.ref == 'refs/heads/gh-pages' 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/gh-pages' |