ci: publish documentation for 4ca9731

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