Skip to content

Update pre-commit to check JSON formatting#2400

Merged
jonaprieto merged 2 commits intomainfrom add-json-pre-commitSep 28, 2023
+164-164

Commits

Commits on Sep 27, 2023

Commits on Sep 28, 2023