Skip to content

Conversation

@jfrost-mo
Copy link
Member

@jfrost-mo jfrost-mo commented Sep 30, 2025

Fixes #1740

See justification in #1740 (comment)

Contribution checklist

Aim to have all relevant checks ticked off before merging. See the developer's guide for more detail.

  • Documentation has been updated to reflect change.
  • New code has tests, and affected old tests have been updated.
  • All tests and CI checks pass.
  • Ensured the pull request title is descriptive.
  • Conda lock files have been updated if dependencies have changed.
  • Attributed any Generative AI, such as GitHub Copilot, used in this PR.
  • Marked the PR as ready to review.

@jfrost-mo jfrost-mo self-assigned this Sep 30, 2025
@jfrost-mo jfrost-mo added the enhancement New feature or request label Sep 30, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Sep 30, 2025

Coverage

@jfrost-mo jfrost-mo force-pushed the 1740_dont_retrigger branch from 279ef8a to 69a9175 Compare October 28, 2025 15:15
@jfrost-mo jfrost-mo marked this pull request as ready for review October 28, 2025 15:15
@Sylviabohnenstengel Sylviabohnenstengel merged commit 8e9a109 into main Nov 11, 2025
8 checks passed
@Sylviabohnenstengel Sylviabohnenstengel deleted the 1740_dont_retrigger branch November 11, 2025 14:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Don't automatically retrigger, and don't reduce parellism on retrigger

3 participants