Skip to content
Deploy documentation

add back plugin #6933

Sign in to view logs

add back plugin

add back plugin #6933

Triggered via push November 9, 2023 22:39
@adschwartzadschwartz
pushed 4f49390
anders/ui-changes
Status Success
Total duration 20s
Artifacts –

push-docs.yml

on: push
Publish to Cloudflare Pages
10s
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