Stefano Fiorucci
|
40daaf6cf5
|
ci: workflow to populate the index to search docs (#10132)
* try feed docs search
* fix
* checkout
* update
* start developing workflow
* fix dir
* tru
* fix lint
* progress
* fixes
* more fixes
* improve script
* refinements
* install requests
* small improvements
* use npm install
* further refinements
* run this workflow manually and scheduled
* fmt
* try monitor
* retry
* clean up
|
2025-11-26 09:28:33 +00:00 |
|