Skip to content

fix: trigger CI for backend update PRs#1158

Open
MilesCranmerBot wants to merge 1 commit intoMilesCranmer:masterfrom
MilesCranmerBot:fix/backend-update-ci
Open

fix: trigger CI for backend update PRs#1158
MilesCranmerBot wants to merge 1 commit intoMilesCranmer:masterfrom
MilesCranmerBot:fix/backend-update-ci

Conversation

@MilesCranmerBot
Copy link
Contributor

Backend-update PRs are created by a workflow using GITHUB_TOKEN, so the usual push/pull_request-triggered workflows don't run (GitHub blocks workflow-on-workflow recursion).

This PR:

  • Adds workflow_dispatch to Linux/macOS/Windows CI workflows.
  • Updates update_backend.yml to dispatch those CI workflows whenever it creates/updates a backend-update PR.

This keeps the automated backend bump PRs getting CI without requiring a PAT.

@codecov
Copy link

codecov bot commented Mar 24, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 94.25%. Comparing base (95ffa50) to head (7002b2f).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1158   +/-   ##
=======================================
  Coverage   94.25%   94.25%           
=======================================
  Files          21       21           
  Lines        1687     1687           
=======================================
  Hits         1590     1590           
  Misses         97       97           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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