verify: document auto-run triggers#107
Open
davi-maciel wants to merge 1 commit into
Open
Conversation
- Add "When a run is triggered" section to how-verification-works - Update trigger_source enumerations in audit, export, and results pages - Correct submit/push to run claims in mcp-tools and your-first-spec - Link how-it-works step 3 to the new section
davi-maciel
force-pushed
the
davi/verify-auto-trigger-docs
branch
from
d815628 to
ae74df4
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Documents when Verify auto-runs, aligning the docs with the four intentional trigger moments (plus criteria-edit) shipped in mergeit #12922. Before this, the docs described the old per-push model and never explained when a run starts across a PR's life.
Changes
concepts/how-verification-works.md: new "When a run is triggered" section covering the auto-run moments (PR ready / approval / queued / PR linked / criteria edited), what doesn't trigger a run (plain pushes), manual runs, de-duplication, and deferred-until-baselines behavior. Corrected the run-start sentence so it no longer claims submission starts a run.audit-trails-and-compliance.md,how-to-guides/export-audit-logs.md,reference/understanding-verification-results.md: updatedtrigger_sourcevalue lists tomanual / ready / approval / queued / linked / criteria_edit.reference/mcp-tools.md,your-first-spec.md: corrected claims that submitting or pushing auto-starts a run.how-it-works.md: step 3 now links to the new section.