dms #1

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

View File

@@ -39,7 +39,8 @@ jobs:
- name: Build MKDocs output into shared volume
run: |
docker run --rm \
-v "$PWD:/work" -w /work \
-v "${{ github.workspace }}:/work" \
-w /work \
-v notes_public:/public \
mkdocs-builder \
mkdocs build --clean --site-dir /public