Skip to content

Conversation

@uranusjr
Copy link
Member

Trying to debug again. See #31489 for context.

@pankajkoti pankajkoti self-requested a review May 24, 2023 08:46
@uranusjr uranusjr added use public runners Makes sure that Public runners are used even if commiters creates the PR (useful for testing) and removed area:dev-tools labels May 24, 2023
@uranusjr
Copy link
Member Author

Use #31501 instead.

@uranusjr uranusjr closed this May 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

use public runners Makes sure that Public runners are used even if commiters creates the PR (useful for testing)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant