Skip to content

ci: make format required (devs should run make format before committing)#1979

Merged
seratch merged 1 commit intoopenai:mainfrom
filintod:check-for-format
Oct 22, 2025
Merged

ci: make format required (devs should run make format before committing)#1979
seratch merged 1 commit intoopenai:mainfrom
filintod:check-for-format

Commits

Commits on Oct 22, 2025