Skip to content

Deploy documentation #12277

Deploy documentation

Deploy documentation #12277

Triggered via merge group July 5, 2024 19:57
Status Success
Total duration 21s
Artifacts

push-docs.yml

on: merge_group
Publish to Cloudflare Pages
12s
Publish to Cloudflare Pages
Update website search index via Algolia Crawler
0s
Update website search index via Algolia Crawler
Fit to window
Zoom out
Zoom in