Skip to content

Allow targets to fully opt out of nogo#4403

Merged
fmeum merged 2 commits intomasterfrom
faster-nogo-2
Jul 30, 2025
Merged

Allow targets to fully opt out of nogo#4403
fmeum merged 2 commits intomasterfrom
faster-nogo-2

Conversation

@fmeum
Copy link
Copy Markdown
Member

@fmeum fmeum commented Jul 29, 2025

What type of PR is this?

Feature

What does this PR do? Why is it needed?

By tagging a target with "no-nogo", nogo isn't run at all, not even for fact generation.

Which issues(s) does this PR fix?

Work towards #4327

Other notes for review

@fmeum fmeum requested review from jayconrod and linzhp July 29, 2025 16:25
@fmeum fmeum marked this pull request as ready for review July 29, 2025 16:25
fmeum added 2 commits July 30, 2025 08:07
By tagging a target with `"no-nogo"`, `nogo` isn't run at all, not even for fact generation.
@fmeum fmeum enabled auto-merge (squash) July 30, 2025 06:07
@fmeum fmeum merged commit 55932be into master Jul 30, 2025
4 checks passed
@fmeum fmeum deleted the faster-nogo-2 branch July 30, 2025 13:46
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.

3 participants