From ac9a9c875aab25828b97ac5434fedeb82d18e196 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Cruz?= Date: Sun, 1 Nov 2026 15:52:57 +0000 Subject: [PATCH] chore: avoid running ci twice on pull requests Only run on push for master, as pull requests are already covered by the pull_request event. --- .github/workflows/ci.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 6121502..f911df8 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,6 +1,9 @@ name: CI -on: [push, pull_request] +on: + push: + branches: [master] + pull_request: jobs: lint: