ci: publish documentation for 2f2db7d

camptocamp · Jul 15, 2024 · 74043c2 · 74043c2
1 parent c82384b
commit 74043c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/search-index.js b/docs/search-index.js