Skip to content

Merge pull request #1963 from stefanrueger/wdttypes #150

Merge pull request #1963 from stefanrueger/wdttypes

Merge pull request #1963 from stefanrueger/wdttypes #150

Triggered via push March 24, 2025 14:00
Status Success
Total duration 2m 54s
Artifacts
Check Sourcecode
6s
Check Sourcecode
Check Generated Files
24s
Check Generated Files
Fit to window
Zoom out
Zoom in