diff options
| author | Egor Tensin <egor@tensin.name> | 2026-03-01 08:09:46 +0100 |
|---|---|---|
| committer | Egor Tensin <egor@tensin.name> | 2026-03-01 08:09:46 +0100 |
| commit | d70da9c6572d962d3740e461236895268f0f9f35 (patch) | |
| tree | ff84703f02cdaaec7ea5e39096c18a4467b8f976 /.github | |
| parent | Merge pull request #1 from egor-tensin/dependabot/github_actions/actions/down... (diff) | |
| download | cimple-d70da9c6572d962d3740e461236895268f0f9f35.tar.gz cimple-d70da9c6572d962d3740e461236895268f0f9f35.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 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c2f3927..a4321f7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,6 @@ name: CI on: push: - pull_request: workflow_dispatch: env: |