Skip to content
Deploy documentation

chore(main): release 0.85.10 (#1729) #6929

Sign in to view logs

chore(main): release 0.85.10 (#1729)

chore(main): release 0.85.10 (#1729) #6929

Triggered via push November 9, 2023 22:06
@github-merge-queuegithub-merge-queue[bot]
pushed 2f24b73
gh-readonly-queue/main/pr-1729-3909d5c27ef0450b05aab303a8d6c7986220e01e
Status Success
Total duration 18s
Artifacts –

push-docs.yml

on: push
Publish to Cloudflare Pages
8s
Publish to Cloudflare Pages
Update website search index via Algolia Crawler
0s
Update website search index via Algolia Crawler
Checks that the latest index is still working
0s
Checks that the latest index is still working
Fit to window
Zoom out
Zoom in