Skip to content

Fix CNAME missing in deployment #12

Fix CNAME missing in deployment

Fix CNAME missing in deployment #12

Workflow file for this run

name: Documentation
on:
push:
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Configure Git Credentials
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
- name: Install uv
uses: astral-sh/setup-uv@v4
with:
enable-cache: true
- name: Set up Python
run: uv python install
- name: Install the project
run: |
uv sync --all-extras --dev
uv pip install .
- name: Get Version from pyproject.toml
id: version
run: |
source .venv/bin/activate
echo "VERSION=$(python -c 'import importlib.metadata; print(importlib.metadata.version("brms"))')" >> $GITHUB_ENV
- name: Deploy MkDocs with Mike to gh-pages
run: |
source .venv/bin/activate
mike deploy --allow-empty --push --update-aliases --branch gh-pages ${{ env.VERSION }} latest
- name: Create and Add CNAME File
run: |
echo "bankrisk.org" > CNAME
git add CNAME
git commit -m "Add CNAME file"
git push origin gh-pages
- name: Set Default Version with Mike
run: |
source .venv/bin/activate
mike set-default --push --branch gh-pages latest