Skip to content

Conversation

thomasnyman
Copy link
Contributor

This PR adds a detailed description of the tainted_args attribute to the Compiler Annotations Guide

@thomasnyman thomasnyman force-pushed the tainted-args-attribute branch from d9b2e7d to 4031639 Compare September 4, 2025 12:17
@thomasnyman
Copy link
Contributor Author

Fixed linter complaint about missing trailing newline at EOF

@thomasnyman thomasnyman merged commit 1d59f0f into main Sep 4, 2025
6 checks passed
@thomasnyman thomasnyman deleted the tainted-args-attribute branch September 4, 2025 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants