ci: Prevent duplicate CI runs

https://github.com/orgs/community/discussions/26276
This commit is contained in:
Juan Ramos 2023-10-13 14:24:27 -06:00 committed by Juan Ramos
parent 1e451348f0
commit e65ef887fc

View File

@ -5,10 +5,12 @@
name: ci name: ci
on: on:
push: push:
pull_request: branches:
branches: - main
- main pull_request:
branches:
- main
env: env:
CMAKE_GENERATOR: Ninja CMAKE_GENERATOR: Ninja