Skip to content

github: Mark the build as failed if 'do not merge' label is set#15062

Merged
donaldsharp merged 1 commit intoFRRouting:masterfrom opensourcerouting:fix/mark_as_failed_if_do_not_merge_labeledJan 2, 2024
+4-4

Commits

Commits on Dec 22, 2023