Skip to content

Merge pull request #8 from zeroasterisk/fix/docs-review-fixes #125

Merge pull request #8 from zeroasterisk/fix/docs-review-fixes

Merge pull request #8 from zeroasterisk/fix/docs-review-fixes #125

Workflow file for this run

name: Publish Docs
on:
push:
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- name: Configure Git Credentials
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
- uses: actions/setup-python@v6
with:
python-version: 3.x
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- name: Cache Material Theme Assets
uses: actions/cache@v5
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- name: Install Dependencies
run: pip install -r requirements-docs.txt
# The spec page is rendered from the canonical ard-spec repo by the
# `hooks/spec_from_canonical.py` build hook (configured in mkdocs.yml),
# so a plain build keeps docs/spec.md in sync with no extra step.
- name: Build site
run: mkdocs build # outputs to ./site
# Custom domain (live): agenticresourcediscovery.org — apex A-records point to
# GitHub Pages and the HTTPS cert is approved. ghp-import rewrites the gh-pages
# CNAME file on every deploy, so this MUST match the Pages custom domain or each
# deploy will revert it.
- name: Deploy to GitHub Pages
run: ghp-import --no-jekyll --push --force --branch gh-pages --cname agenticresourcediscovery.org -m "Deploy ${{ github.sha }}" site