Skip to content

Add extension-SRTP postmortem - #20777

Merged
T-Gro merged 2 commits into
mainfrom
t-gro-srtp-regression-postmortem
Oct 13, 2026
Merged

Add extension-SRTP postmortem#20777
T-Gro merged 2 commits into
mainfrom
t-gro-srtp-regression-postmortem

Conversation

@T-Gro

@T-Gro T-Gro commented Oct 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

Description

Postmortem. See the .md.

Checklist

  • Test cases added

  • Performance benchmarks added in case of performance changes

  • Release notes entry updated:

    Please make sure to add an entry with short succinct description of the change as well as link to this pull request to the respective release notes file, if applicable.

    Release notes files:

    • If anything under src/Compiler has been changed, please make sure to make an entry in docs/release-notes/.FSharp.Compiler.Service/<version>.md, where <version> is usually "highest" one, e.g. 42.8.200
    • If language feature was added (i.e. LanguageFeatures.fsi was changed), please add it to docs/release-notes/.Language/preview.md
    • If a change to FSharp.Core was made, please make sure to edit docs/release-notes/.FSharp.Core/<version>.md where version is "highest" one, e.g. 8.0.200.

    Information about the release notes entries format can be found in the documentation.
    Example:

    If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

@T-Gro
Document extension-SRTP evidence loss across files
3283729 
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 3c1ca837-0a0f-48fb-b206-29b12b8b27b7
@T-Gro
T-Gro requested a review from a team as a code owner October 13, 2026 11:06
@T-Gro T-Gro changed the title Document extension-SRTP evidence loss across files Add extension-SRTP postmortem Oct 13, 2026
@T-Gro
Narrow cache rule to extension-constraint calls
011b81e 
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 3c1ca837-0a0f-48fb-b206-29b12b8b27b7
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Oct 13, 2026
@T-Gro
T-Gro merged commit f3cd333 into main Oct 13, 2026
4 of 5 checks passed
This was referenced Oct 13, 2026
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

F# Compiler and Tooling
Archived in project

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@T-Gro