Closed ipdae closed 1 month ago
Even though the checks started by pull_request trigger, I merge this pull request since the checks started by push trigger pass.
pull_request
push
Even though the checks started by
pull_request
trigger, I merge this pull request since the checks started bypush
trigger pass.