Skip to content
Deploy documentation

Deploy documentation #6915

Sign in to view logs

Deploy documentation

Deploy documentation #6915

Triggered via merge group November 9, 2023 21:05
@leoporolileoporoli
⁠ a559ae2
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
Checks that the latest index is still working
0s
Checks that the latest index is still working
Fit to window
Zoom out
Zoom in