ci: make format required (devs should run make format before committing)#1979
Merged
seratch merged 1 commit intoopenai:mainfrom Oct 22, 2025
Merged
ci: make format required (devs should run make format before committing)#1979seratch merged 1 commit intoopenai:mainfrom
make format before committing)#1979seratch merged 1 commit intoopenai:mainfrom
Commits
Commits on Oct 22, 2025
- committed