Skip to content

Merge pull request #4782 from ralfhandl/main-new-schema-coverage #71

Merge pull request #4782 from ralfhandl/main-new-schema-coverage

Merge pull request #4782 from ralfhandl/main-new-schema-coverage #71

Triggered via push August 11, 2025 18:20
Status Success
Total duration 12s
Artifacts
sync-branch
7s
sync-branch
Fit to window
Zoom out
Zoom in