From e65ef887fc3677f38bc15200177846897bfa0952 Mon Sep 17 00:00:00 2001 From: Juan Ramos Date: Fri, 13 Oct 2023 14:24:27 -0600 Subject: ci: Prevent duplicate CI runs https://github.com/orgs/community/discussions/26276 --- .github/workflows/ci.yml | 10 ++++++---- 1 file 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 -- cgit v1.2.3