Skip to content

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Apr 23, 2021

I'm considering removing --pretty in rust-lang/rust#83491, which would break playground. If we decide #83491 should go forward, this unblocks it.

@shepmaster shepmaster added the CI: approved Allowed access to CI secrets label May 6, 2021
@shepmaster shepmaster merged commit 3f5e9c9 into rust-lang:master May 6, 2021
@shepmaster shepmaster added the maintenance Keeping the wheels turning label May 6, 2021
@jyn514 jyn514 deleted the unpretty branch May 6, 2021 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI: approved Allowed access to CI secrets maintenance Keeping the wheels turning
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants