diff options
| author | Juan Ramos <[email protected]> | 2023-10-13 14:24:27 -0600 |
|---|---|---|
| committer | Juan Ramos <[email protected]> | 2023-10-13 14:25:30 -0600 |
| commit | e65ef887fc3677f38bc15200177846897bfa0952 (patch) | |
| tree | 5ea99f9096d168d5ffc199584e4b248c9e8926af /.github | |
| parent | 1e451348f0c1009902966fcf62fab41ee85170d7 (diff) | |
| download | Vulkan-Headers-e65ef887fc3677f38bc15200177846897bfa0952.tar.gz Vulkan-Headers-e65ef887fc3677f38bc15200177846897bfa0952.zip | |
ci: Prevent duplicate CI runs
https://github.com/orgs/community/discussions/26276
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 82bf6af..c2b4e02 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,10 +5,12 @@ name: ci on: - push: - pull_request: - branches: - - main + push: + branches: + - main + pull_request: + branches: + - main env: CMAKE_GENERATOR: Ninja |