Skip to content

ci: drop the DB docs generation since it's unused#2389

Merged
jdobes merged 1 commit into
RedHatInsights:masterfrom
jdobes:drop_db_docs
Jun 22, 2026
Merged

ci: drop the DB docs generation since it's unused#2389
jdobes merged 1 commit into
RedHatInsights:masterfrom
jdobes:drop_db_docs

Commits

Commits on Jun 17, 2026