ci: publish documentation for 10c54bc

camptocamp · Dec 11, 2023 · f10293e · f10293e
1 parent 3ee8a7e
commit f10293e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/search-index.js b/docs/search-index.js