Skip to content

Merge pull request #4437 from ralfhandl/main-document-release-process #11

Merge pull request #4437 from ralfhandl/main-document-release-process

Merge pull request #4437 from ralfhandl/main-document-release-process #11

Re-run triggered March 17, 2025 14:22
Status Success
Total duration 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
sync-branch
6s
sync-branch
Fit to window
Zoom out
Zoom in