dms #1

Merged
jay merged 56 commits from dms into main 2026-03-24 20:14:09 +00:00
Showing only changes of commit 958b779983 - Show all commits

View File

@@ -1,54 +1,14 @@
name: Build Notes Site
on:
push:
branches: [ main ]
jobs: jobs:
build: build:
runs-on: ubuntu-latest runs-on: ubuntu-latest
container: container:
image: node:20-bookworm image: python:3.13-slim
steps: steps:
- name: Checkout repository - uses: actions/checkout@v4
uses: actions/checkout@v4
- name: Install Docker CLI - name: Install mkdocs
run: | run: pip install -r ci/mkdocs/requirements.txt
apt-get update
apt-get install -y ca-certificates curl gnupg
install -m 0755 -d /etc/apt/keyrings
curl -fsSL https://download.docker.com/linux/debian/gpg | \
gpg --dearmor -o /etc/apt/keyrings/docker.gpg
chmod a+r /etc/apt/keyrings/docker.gpg
echo \ - name: Build site
"deb [arch=$(dpkg --print-architecture) \ run: mkdocs build --clean --site-dir /public
signed-by=/etc/apt/keyrings/docker.gpg] \
https://download.docker.com/linux/debian \
bookworm stable" | \
tee /etc/apt/sources.list.d/docker.list > /dev/null
apt-get update
apt-get install -y docker-ce-cli
- name: Build docker image
run: |
docker build -t mkdocs-builder -f ci/mkdocs/Dockerfile ci/mkdocs
- name: Debug workspace
run: |
echo "PWD:"
pwd
echo "Workspace:"
echo "${{ github.workspace }}"
ls -la "${{ github.workspace }}"
- name: Build MKDocs output into shared volume
run: |
docker run --rm \
-v "${{ github.workspace }}:/work" \
-w /work \
-v notes_public:/public \
mkdocs-builder \
mkdocs build --clean --site-dir /public