Exclude submissions from prettier

SMT-COMP · May 17, 2024 · 9768285 · 9768285
1 parent 7323df6
commit 9768285
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -27,3 +27,4 @@ repos:
     rev: "v3.0.3"
     hooks:
       - id: prettier
+        # Exclude are in .prettierignore
diff --git a/.prettierignore b/.prettierignore
@@ -2,3 +2,4 @@ archive
 _site
 web/themes/smtcomp/layouts/
 web/content/solver_submission/schema.html
+submissions/*.json