Deploy documentation

chore(main): release 0.85.37 (#1867) #7748

Sign in to view logs

Triggered via push November 29, 2023 15:01

github-merge-queue[bot]

gh-readonly-queue/main/pr-1867-2f118d92da40f2f5933c5d8f58a5a08c29b96c9a

Status Success

Total duration 27s

Artifacts –

push-docs.yml

on: push

Publish to Cloudflare Pages

Update website search index via Algolia Crawler