fix(docs): make library export non-fatal in Docker build
Some checks failed
CI / lint (push) Successful in 46s
Deploy / notebooks (push) Has been skipped
Deploy / zotero (push) Has been skipped
Deploy / docs (push) Successful in 32s
Deploy / api (push) Has been skipped
Deploy / mc (push) Has been skipped
Infra CI / notebooks (push) Failing after 16s
Infra CI / zotero (push) Successful in 15s
Infra CI / docs (push) Successful in 15s
Infra CI / api (push) Successful in 16s
Infra CI / mc (push) Successful in 26s
Deploy / report (push) Successful in 34s
CI / test (push) Has been cancelled

This commit is contained in:
kert
2026-04-18 22:10:43 -04:00
parent 9f9a8083d1
commit 569d523238

View File

@@ -17,7 +17,7 @@ RUN uv run --with griffe python docs/scripts/extract_docs.py
# tolerates a missing bib.sqlite and writes an empty library.json.
RUN mkdir -p data
COPY data/.gitkeep data/bib.sqlit[e] data/
RUN uv run --with pydantic python docs/scripts/export_library.py
RUN uv run --with pydantic python docs/scripts/export_library.py || (mkdir -p docs/static && echo '[]' > docs/static/library.json)
# Stage 2: Build Docusaurus static site