From 1e5a314fc2cbefe0a0623c571a15155514dfaa27 Mon Sep 17 00:00:00 2001 From: Kinflou Date: Sun, 8 Nov 2026 20:03:10 +0800 Subject: [PATCH] ci: run reports on pull requests only when the workflow changes --- .github/workflows/reports.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/reports.yml b/.github/workflows/reports.yml index e919457..b77983a 100644 --- a/.github/workflows/reports.yml +++ b/.github/workflows/reports.yml @@ -3,13 +3,16 @@ name: Reports # Observatory reports: size, coverage and compile time of the CLI. # Each job writes one JSON report and uploads it; the `publish` job commits # them all to the `reports` branch, only from `main` or a manual run. On a -# pull request everything runs except the publish, so the workflow is proven -# before it merges. +# pull request it runs only when this workflow changes (everything but the +# publish, so the change is proven before it merges); a push to the default +# branch measures every change. on: push: branches: [main] pull_request: + paths: + - '.github/workflows/reports.yml' workflow_dispatch: permissions: