From d49be72454bd065959a9531da3416bceb75660bf Mon Sep 17 00:00:00 2001 From: Oleg Ovcharuk Date: Wed, 22 Oct 2025 17:23:29 +0300 Subject: [PATCH] fix docs publication --- .github/workflows/docs.yml | 2 +- docs/requirements.txt | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 docs/requirements.txt diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index f54ccea..a49aa94 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -2,7 +2,7 @@ name: Deploy Sphinx documentation to Github Pages on: push: - branches: [main, basic_dialect_docs] # branch to trigger deployment + branches: [main] # branch to trigger deployment jobs: pages: diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 0000000..f830648 --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1,2 @@ +sphinx_rtd_theme==2.0.0 +sphinx-copybutton==0.5.2