From 3f77c0a2045bf463eb4b21db3eb5743fd645c449 Mon Sep 17 00:00:00 2001 From: Tommaso Fontana Date: Fri, 10 Jul 2026 21:30:36 +0200 Subject: [PATCH] ci: run the Rust and Miri workflows only for main pushes and PRs rust.yml and miri.yml had empty push/pull_request branch filters, so every push to a PR branch triggered both the push and the pull_request event (and tag pushes triggered extra runs), duplicating every check. Scope both to the main branch, matching llp.yml, so a pull request runs each check once. --- .github/workflows/miri.yml | 4 ++-- .github/workflows/rust.yml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 7807cf49..af25676f 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -2,9 +2,9 @@ name: Miri on: push: - branches: + branches: ["main"] pull_request: - branches: + branches: ["main"] env: CARGO_TERM_COLOR: always diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 2db791d8..40595c68 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -2,9 +2,9 @@ name: Rust CI Pipeline on: push: - branches: + branches: ["main"] pull_request: - branches: + branches: ["main"] env: CARGO_TERM_COLOR: always