From a25c660f00ffec6024e49a22fd59d53d4be03163 Mon Sep 17 00:00:00 2001 From: MikaAK Date: Mon, 27 Apr 2026 11:34:36 -0700 Subject: [PATCH] ci: run workflows on pull_request, restrict push trigger to main Previously every CI workflow (Test, Coverage, Credo, Dialyzer) ran on 'on: push', which fired for both branch pushes and PR sync events, duplicating runs. Switch to: on: push: branches: [main] pull_request: This runs CI once per PR update (and once on main after merge) instead of twice for every PR push. --- .github/workflows/coverage.yml | 5 ++++- .github/workflows/credo.yml | 5 ++++- .github/workflows/dialyzer.yml | 5 ++++- .github/workflows/test.yml | 5 ++++- 4 files changed, 16 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 50e6025..bfcaf6b 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -1,6 +1,9 @@ name: Coverage -on: push +on: + push: + branches: [main] + pull_request: jobs: Coverage: diff --git a/.github/workflows/credo.yml b/.github/workflows/credo.yml index 40c4453..3e8cc05 100644 --- a/.github/workflows/credo.yml +++ b/.github/workflows/credo.yml @@ -1,6 +1,9 @@ name: Credo -on: push +on: + push: + branches: [main] + pull_request: jobs: Credo: diff --git a/.github/workflows/dialyzer.yml b/.github/workflows/dialyzer.yml index 102beab..508499a 100644 --- a/.github/workflows/dialyzer.yml +++ b/.github/workflows/dialyzer.yml @@ -1,6 +1,9 @@ name: Dialyzer -on: push +on: + push: + branches: [main] + pull_request: jobs: Dialyzer: diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 2aa7a13..9190032 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -1,6 +1,9 @@ name: Test -on: push +on: + push: + branches: [main] + pull_request: jobs: Test: