ci: publish documentation for 390817e

camptocamp · Oct 12, 2023 · 2e6dbf1 · 2e6dbf1
1 parent e33bebd
commit 2e6dbf1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/search-index.js b/docs/search-index.js