diff options
| author | Egor Tensin <egor@tensin.name> | 2026-03-01 08:24:16 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-03-01 08:24:16 +0100 |
| commit | 9a56aea7b4feeb4a05028c977cf5a02514b8de7a (patch) | |
| tree | 0be6d853c4afbd29af6b34f06d8ceac80b4d37a4 /.github | |
| parent | bump dependencies (diff) | |
| download | jekyll-theme-9a56aea7b4feeb4a05028c977cf5a02514b8de7a.tar.gz jekyll-theme-9a56aea7b4feeb4a05028c977cf5a02514b8de7a.zip | |
workflows/ci: remove on: pull_request
Why do I even need this? on: push covers everything I need
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8eed3b8..28fa479 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,6 @@ name: CI on: push: - pull_request: workflow_dispatch: jobs: @@ -35,4 +34,4 @@ jobs: REMOTE_HOST: '${{ secrets.REMOTE_HOST }}' REMOTE_PORT: '${{ secrets.REMOTE_PORT }}' REMOTE_DIR: '${{ secrets.REMOTE_DIR }}' - if: (github.event_name == 'push' || github.event_name == 'workflow_dispatch') && github.ref == 'refs/heads/master' + if: github.ref == 'refs/heads/master' |