Skip to content
Deploy documentation

Merge branch 'main' into tedi/download #6914

Sign in to view logs

Merge branch 'main' into tedi/download

Merge branch 'main' into tedi/download #6914

Triggered via push November 9, 2023 21:04
@tedim52tedim52
pushed 2beac5f
tedi/download
Status Success
Total duration 17s
Artifacts –

push-docs.yml

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