Skip to content

Infra: Update gh aw#19495

Merged
T-Gro merged 2 commits intomainfrom
agentic/fix-over-sanitization
Mar 26, 2026
Merged

Infra: Update gh aw#19495
T-Gro merged 2 commits intomainfrom
agentic/fix-over-sanitization

Conversation

@T-Gro
Copy link
Copy Markdown
Member

@T-Gro T-Gro commented Mar 25, 2026

(just updating dependency and recompiling, no content changes in our prompting)

@T-Gro T-Gro requested a review from a team as a code owner March 25, 2026 22:07
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Mar 25, 2026
@T-Gro T-Gro requested a review from abonie March 25, 2026 22:08
@T-Gro T-Gro enabled auto-merge (squash) March 25, 2026 22:08
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Mar 25, 2026

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

@github-project-automation github-project-automation bot moved this from New to In Progress in F# Compiler and Tooling Mar 26, 2026
Co-authored-by: Adam Boniecki <20281641+abonie@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants