Skip to content
Assign the issue via a `take` comment

Round robin polling between tied winners in sort preserving merge #11762

Sign in to view logs

Round robin polling between tied winners in sort preserving merge

Round robin polling between tied winners in sort preserving merge #11762

Run time

Learn about OS pricing on GitHub Actions
Job Run time
issue_assign
0s
0s