diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:46:56 +0200 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:46:56 +0200 |
commit | 3964efafc45f8cc2e5489e91cd499c5e1ca82be4 (patch) | |
tree | 24ea157c924d1c7430fd3fc702694b76724befbe /.github/workflows | |
parent | bump dependencies (diff) | |
download | sorting-algorithms-3964efafc45f8cc2e5489e91cd499c5e1ca82be4.tar.gz sorting-algorithms-3964efafc45f8cc2e5489e91cd499c5e1ca82be4.zip |
workflows/jekyll: deploy on manual runs also
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/jekyll.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/jekyll.yml b/.github/workflows/jekyll.yml index a5b7c8d..da28719 100644 --- a/.github/workflows/jekyll.yml +++ b/.github/workflows/jekyll.yml @@ -35,4 +35,4 @@ jobs: REMOTE_HOST: '${{ secrets.REMOTE_HOST }}' REMOTE_PORT: '${{ secrets.REMOTE_PORT }}' REMOTE_DIR: '${{ secrets.REMOTE_DIR }}' - if: github.event_name == 'push' && github.ref == 'refs/heads/gh-pages' + if: (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/gh-pages' |