dms #1

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

View File

@@ -36,6 +36,14 @@ jobs:
run: | run: |
docker build -t mkdocs-builder -f ci/mkdocs/Dockerfile ci/mkdocs 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 - name: Build MKDocs output into shared volume
run: | run: |
docker run --rm \ docker run --rm \