Skip to content

Skip PR creation if no report was produced#2771

Merged
laeubi merged 1 commit intoeclipse-platform:masterfrom laeubi:skip_if_no_reportJan 22, 2025

Commits

Commits on Jan 22, 2025