Skip to content

Commit e67d9b3

Browse files
committed
fix docs build: delete stale api-docs.db before regenerating (0.229.708)
1 parent c2f8e8d commit e67d9b3

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

.github/workflows/docs.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -66,6 +66,10 @@ jobs:
6666
SRC_URI="$REPO_URL/blob/$COMMIT"
6767
DB=api-docs.db
6868
69+
# Remove stale DB from cache — schema changes cause
70+
# "no such table" errors if an old DB is reused
71+
rm -f "$BUILD/$DB"
72+
6973
# Bibliography prepass
7074
if [ -f docs/references.bib ]; then
7175
$DOCGEN bibPrepass --build "$BUILD" docs/references.bib

0 commit comments

Comments
 (0)