From 48f48a0ef8a1ad3a688999519b935b27438849a1 Mon Sep 17 00:00:00 2001
From: Felix Fontein <felix@fontein.de>
Date: Sun, 10 Dec 2023 09:53:59 +0100
Subject: [PATCH] Install community.library_inventory_filtering_v1 for PR docs
 builds.

This is required to make CI in #698 pass.
---
 .github/workflows/docs-pr.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs-pr.yml b/.github/workflows/docs-pr.yml
index c63bdbfc..74aad882 100644
--- a/.github/workflows/docs-pr.yml
+++ b/.github/workflows/docs-pr.yml
@@ -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