Skip to content

Conversation

jpobst
Copy link
Contributor

@jpobst jpobst commented Oct 6, 2021

Reverts: #6103

This reverts commit 21751b5.

Platform-31 is stable and is now expected to be on CI machines in the final (platform-31) location instead of platform-S.

@jpobst jpobst marked this pull request as ready for review October 6, 2021 23:15
@jonpryor jonpryor merged commit ee12581 into main Oct 7, 2021
@jonpryor jonpryor deleted the 31-is-good branch October 7, 2021 01:53
@github-actions github-actions bot locked and limited conversation to collaborators Jan 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants