Skip to content

Add analysis rules and relaxations#5036

Merged
lahma merged 1 commit intoRicoSuter:masterfrom
lahma:code-analysis-pre-work
Nov 21, 2024
Merged

Add analysis rules and relaxations#5036
lahma merged 1 commit intoRicoSuter:masterfrom
lahma:code-analysis-pre-work

Conversation

@lahma
Copy link
Copy Markdown
Collaborator

@lahma lahma commented Nov 21, 2024

Minimalist approach before #5033 to be safe to merge

@lahma lahma force-pushed the code-analysis-pre-work branch from 01b807a to 7796253 Compare November 21, 2024 19:23
@lahma
Copy link
Copy Markdown
Collaborator Author

lahma commented Nov 21, 2024

Contains only trivial changes and most pointing to tests, so merging when green.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant