Skip to content
Back to pull request #1093

Format source code and run git diff instead of listing first #526

Sign in to view logs

Format source code and run git diff instead of listing first

Format source code and run git diff instead of listing first #526

Soundness  /  Documentation check

Soundness / Documentation check
succeeded Nov 24, 2025 in 2m 21s