Skip to content
GitLab
Explore
Sign in
Register
Formatting and type-checking cleanup
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Kahn Gillmor
requested to merge
formatting-and-typechecking
into
main
Jul 05, 2024
Overview
1
Commits
5
Pipelines
0
Changes
3
Expand
These changes try to standardize an approach to code formatting and typechecking.
Merge request reports
Loading