From bfa1599954d9d870c8912f49079302ff15f9ec35 Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Tue, 14 May 2024 12:01:13 +0300 Subject: [PATCH] Update MkDocs workflow --- .github/workflows/mkdocs.yml | 12 +++++++++--- docs/config/base.yml | 2 +- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml index 1b0083595..4c4fbfd7f 100644 --- a/.github/workflows/mkdocs.yml +++ b/.github/workflows/mkdocs.yml @@ -15,12 +15,12 @@ jobs: runs-on: ubuntu-latest steps: - name: 📥 Checkout repository - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: fetch-depth: 0 - name: 🧰 Set up Python - uses: actions/setup-python@v4 + uses: actions/setup-python@v5 with: python-version: "3.9" cache: "pip" # caching pip dependencies @@ -34,11 +34,17 @@ jobs: chmod: 0755 - name: Check Rzk files for each language - run: + run: | for lang_dir in $(ls -d docs/docs/*/); do pushd ${lang_dir} && rzk typecheck; popd ; done + - name: Check Rzk formatting for each language + run: | + for lang_dir in $(ls -d docs/docs/*/); do + pushd ${lang_dir} && rzk format --check; popd ; + done + - name: 🔨 Install MkDocs Material and mike run: pip install -r docs/requirements.txt diff --git a/docs/config/base.yml b/docs/config/base.yml index 65d0dd243..53839276d 100644 --- a/docs/config/base.yml +++ b/docs/config/base.yml @@ -3,7 +3,7 @@ repo_name: rzk-lang/rzk theme: name: material - custom_dir: '../../overrides/' + custom_dir: "../../overrides/" favicon: assets/images/favicon.png logo: assets/images/logo-1000x1000.png icon: