Skip to content

Merge pull request #2679 from ERGO-Code/fix-propagate-flag #3412

Merge pull request #2679 from ERGO-Code/fix-propagate-flag

Merge pull request #2679 from ERGO-Code/fix-propagate-flag #3412

Triggered via push December 4, 2025 13:05
Status Success
Total duration 11m 52s
Artifacts
Fit to window
Zoom out
Zoom in