Deploy documentation

Deploy documentation #6928

Sign in to view logs

Triggered via merge group November 9, 2023 22:06

adschwartz

Status Success

Total duration 29s

Artifacts –

push-docs.yml

on: merge_group

Publish to Cloudflare Pages

Update website search index via Algolia Crawler

Checks that the latest index is still working