Skip to content

Merge branch 'main' into tedi/tasklogs #12251

Merge branch 'main' into tedi/tasklogs

Merge branch 'main' into tedi/tasklogs #12251

Triggered via push July 2, 2024 15:05
Status Success
Total duration 21s
Artifacts

push-docs.yml

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