diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:28:31 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:28:31 +0200 |
| commit | ac8103dea9674fbe6c85f6591abfd4fc5bf98770 (patch) | |
| tree | 07e5b70e3eca1a866720230b022a565f591b70ac /.github/workflows | |
| parent | README: update (diff) | |
| download | jekyll-theme-ac8103dea9674fbe6c85f6591abfd4fc5bf98770.tar.gz jekyll-theme-ac8103dea9674fbe6c85f6591abfd4fc5bf98770.zip | |
workflows/ci: deploy on manual runs also
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c896013..a477a89 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -36,4 +36,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/master' + if: (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/master' |