Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 19 additions & 1 deletion .github/pull_request_template.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,10 @@

Closes #

## Root cause

<!-- Only for a fix. The mechanism, with file::symbol references. Why does the current state produce the wrong or old behaviour? Cite field evidence: reports and issue numbers. -->

## Kind of change (tick one)

- [ ] Fixes something that does not work
Expand All @@ -28,4 +32,18 @@ Closes #

## How it was checked

<!-- Commands you ran and what they printed. -->
| Check | Before | After |
|---|---|---|
| | | |

Not covered: <!-- Gaps, and which issue covers each. Failures that reproduce identically on the untouched base are recorded limitations, not suppressed tests. -->

## Prior art and claim label

<!-- What did you search, where, what did you find? "Not found" is not "new". Label: PROVEN / VERIFIED (finite check) / KNOWN (cite) / CONJECTURE. -->

## Disclosure

<!-- Delete this section if none. What traffic goes where, what is read or stored, credentials, telemetry. -->

> Automated posting by agentic team with human oversight.
Loading