Skip to content

ci: run the Rust and Miri workflows only for main pushes and PRs - #172

Merged
zommiommy merged 1 commit into
mainfrom
ci-scope-workflow-triggers
Jul 10, 2026
Merged

ci: run the Rust and Miri workflows only for main pushes and PRs#172
zommiommy merged 1 commit into
mainfrom
ci-scope-workflow-triggers

Conversation

@zommiommy

Copy link
Copy Markdown
Collaborator

rust.yml and miri.yml declared empty branches: filters under both push and pull_request, so every push to a PR branch triggered both the push and the pull_request event (and tag pushes triggered extra runs too), duplicating every Rust CI and Miri check.

This scopes both workflows to the main branch, matching the existing llp.yml, so a pull request runs each check exactly once (via pull_request) and only pushes to main run the push-event checks.

on:
  push:
    branches: ["main"]
  pull_request:
    branches: ["main"]

Follow-up to #171 (the empty filters predate it; this was noticed on that PR's duplicated runs). llp.yml already used this pattern and was unaffected; build_artifact.yml triggers only on release and is untouched. This PR itself demonstrates the fix — Rust CI and Miri each trigger a single pull_request run.

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.
@zommiommy
zommiommy merged commit a05dac6 into main Jul 10, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant