From 1a2e1d0d0051b9877a103e3c8b412938807a27cd Mon Sep 17 00:00:00 2001 From: Thomas S Date: Mon, 21 Oct 2024 16:51:43 +0200 Subject: [PATCH] feat: Add `/docs` used to deploy documentation to GitHub Pages --- .pre-commit-config.yaml | 10 ++++++++-- docs/.nojekyll | 0 2 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 docs/.nojekyll diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 06556c08d..cf112586a 100644 --- 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 new file mode 100644 index 000000000..e69de29bb