Let's not lint generated code please (backport #238)#239
Merged
christophfroehlich merged 1 commit intojazzyfrom Aug 11, 2025
Merged
Let's not lint generated code please (backport #238)#239christophfroehlich merged 1 commit intojazzyfrom
christophfroehlich merged 1 commit intojazzyfrom
Commits
Commits on Aug 11, 2025
- authored andcommitted
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}