Update mkdocs.yml

This commit is contained in:
Antonio Navarro Perez 2021-10-07 19:10:46 +02:00 committed by GitHub
parent 2bbe2f165a
commit a7874853e1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -29,16 +29,17 @@ jobs:
key: ${{ runner.os }}-pip-${{ hashFiles('requirements.txt') }} key: ${{ runner.os }}-pip-${{ hashFiles('requirements.txt') }}
restore-keys: | restore-keys: |
${{ runner.os }}-pip- ${{ runner.os }}-pip-
- name: Go to mkdocs folder
run: cd mkdocs
- name: Install dependencies - name: Install dependencies
working-directory: ./mkdocs
run: | run: |
python -m pip install --upgrade pip setuptools wheel python -m pip install --upgrade pip setuptools wheel
python -m pip install -r requirements.txt python -m pip install -r requirements.txt
- name: Build docs - name: Build docs
working-directory: ./mkdocs
run: | run: |
mkdocs build mkdocs build
- name: Validate generated HTML files - name: Validate generated HTML files
working-directory: ./mkdocs
run: | run: |
docker run -v $(pwd):/test --rm wjdp/htmltest --conf .htmltest.yml docker run -v $(pwd):/test --rm wjdp/htmltest --conf .htmltest.yml
# On push to master or release branch, deploy docs # On push to master or release branch, deploy docs
@ -59,7 +60,7 @@ jobs:
echo "${CUSTOM_DOMAIN}" > "${GITHUB_WORKSPACE}/mkdocs/docs/CNAME" echo "${CUSTOM_DOMAIN}" > "${GITHUB_WORKSPACE}/mkdocs/docs/CNAME"
echo -e "User-agent: *\nDisallow: /v*.*/\nSitemap: https://${CUSTOM_DOMAIN}/sitemap.xml" > "${GITHUB_WORKSPACE}/docs/robots.txt" echo -e "User-agent: *\nDisallow: /v*.*/\nSitemap: https://${CUSTOM_DOMAIN}/sitemap.xml" > "${GITHUB_WORKSPACE}/docs/robots.txt"
git fetch origin gh-pages --verbose git fetch origin gh-pages --verbose
mike deploy . -t "Cloud (Latest)" --config-file "${GITHUB_WORKSPACE}/mkdocs.yml" --push --rebase mike deploy . -t "Cloud (Latest)" --config-file "${GITHUB_WORKSPACE}/mkdocs/mkdocs.yml" --push --rebase
env: env:
CUSTOM_DOMAIN: docs.codacy.com CUSTOM_DOMAIN: docs.codacy.com