Skip to content
Back to pull request #1810

Make sure we refresh the PRs with the PR API (and not the issues API) #3817

Sign in to view logs

Make sure we refresh the PRs with the PR API (and not the issues API)

Make sure we refresh the PRs with the PR API (and not the issues API) #3817

test (ubuntu, Java 11)

test (ubuntu, Java 11)
succeeded Mar 11, 2024 in 7m 47s