Install community.library_inventory_filtering_v1 for PR docs builds.

This is required to make CI in #698 pass.
This commit is contained in:
Felix Fontein 2023-12-10 09:53:59 +01:00
parent 46e6070041
commit 48f48a0ef8

View File

@ -32,6 +32,7 @@ jobs:
init-extra-html-theme-options: |
documentation_home_url=https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/branch/main/
render-file-line: '> * `$<status>` [$<path_tail>](https://${{ github.repository_owner }}.github.io/${{ github.event.repository.name }}/pr/${{ github.event.number }}/$<path_tail>)'
extra-collections: community.library_inventory_filtering_v1
publish-docs-gh-pages:
# for now we won't run this on forks