docs

chore: rename Algolia search index for easier maintenance (#1670) #1079

Sign in to view logs

Triggered via push July 8, 2025 07:24

barjin

master

Status Success

Total duration 2m 11s

Artifacts –

docs.yaml

on: push