diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 17:51:09 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-08-04 18:13:21 +0200 |
| commit | cc25bb3e5b050bb09e83be4fbc050018d5ca50da (patch) | |
| tree | ce266a9cdafcbfb80dff1f5f246073716a5c2ec1 /.github | |
| parent | Makefile: move the prelude to prelude.mk (diff) | |
| download | cv-cc25bb3e5b050bb09e83be4fbc050018d5ca50da.tar.gz cv-cc25bb3e5b050bb09e83be4fbc050018d5ca50da.zip | |
workflows/build: deploy on manual runs also
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 734f7ea..8209827 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -33,4 +33,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' |