avoid LTO issues (backport #2681) #2684
+29
−32
Merged
Mergify / Rule: delete head branch after merge (delete_head_branch)
succeeded
Jul 9, 2023 in 0s
Branch `mergify/bp/0.28.x/pr-2681` does not exist
Loading