Deploy documentation

chore(main): release 0.85.18 (#1767) #7156

Sign in to view logs

Triggered via push November 12, 2023 16:40

github-merge-queue[bot]

gh-readonly-queue/main/pr-1767-6b079d2824809096015ab5e094cd2b32cb54ae4c

Status Success

Total duration 20s

Artifacts –

push-docs.yml

on: push

Publish to Cloudflare Pages

Update website search index via Algolia Crawler