Deploy documentation

Deploy documentation #8017

Sign in to view logs

Triggered via merge group December 6, 2023 21:03

lostbean

Status Success

Total duration 23s

Artifacts –

push-docs.yml

on: merge_group

Publish to Cloudflare Pages

Update website search index via Algolia Crawler