feat: Add /docs used to deploy documentation to GitHub Pages

probabl-ai · Oct 21, 2024 · 1a2e1d0 · 1a2e1d0
1 parent d821ffb
commit 1a2e1d0
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -1,3 +1,11 @@
+# exclude: |
+#     (?x)^(
+#         skore-ui/.*/fixtures/.*|
+#         docs/.*
+#     )$
+
+exclude: (fixtures/)|(^docs/)
+
 repos:
   - repo: https://github.com/pre-commit/pre-commit-hooks
     rev: v5.0.0
@@ -52,5 +60,3 @@ repos:
         name: Use stylelint to lint CSS.
         entry: bash -c "cd skore-ui && npm run style-lint"
         files: ^skore-ui/
-
-exclude: fixtures/
diff --git a/docs/.nojekyll b/docs/.nojekyll