Skip to content

factor out linting and formatting so it doesn't run on push/commit#824

Merged
makslevental merged 1 commit intomainfrom factor_out_lint_formattingDec 4, 2023