ci: publish documentation for 842f756

camptocamp · Sep 22, 2023 · 10ab6e1 · 10ab6e1
1 parent a850db6
commit 10ab6e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/search-index.js b/docs/search-index.js