-
Notifications
You must be signed in to change notification settings - Fork 233
Pull requests: rust-lang/rust-playground
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Allow compiling to assembly and friends in the orchestrated Docker container
CI: approved
Allowed access to CI secrets
#914
by adwinwhite
was merged Jun 23, 2023
Loading…
Rename advanced editor to Ace and add Monaco
CI: approved
Allowed access to CI secrets
#736
by HKalbasi
was merged Jan 9, 2022
Loading…
Add metrics for number of active sessions and sessions' durations
CI: approved
Allowed access to CI secrets
enhancement
Something new the playground could do
#890
by adwinwhite
was merged Feb 1, 2023
Loading…
Add support for -Zunpretty=hir
CI: approved
Allowed access to CI secrets
enhancement
Something new the playground could do
#683
by jyn514
was merged Mar 19, 2021
Loading…
Wait for a WebSocket connection to close before reconnecting
bug
The playground isn't doing what it was intended to
#912
by shepmaster
was merged May 16, 2023
Loading…
Add detection of main under more circumstances
CI: approved
Allowed access to CI secrets
#863
by c-git
was merged Dec 3, 2023
Loading…
Cors Again
enhancement
Something new the playground could do
#152
by atorstling
was merged May 24, 2017
Loading…
Allow user to specify aliasing model for Miri
CI: approved
Allowed access to CI secrets
enhancement
Something new the playground could do
#1074
by GoldsteinE
was merged Mar 4, 2025
Loading…
Fix Monaco bugs
bug
The playground isn't doing what it was intended to
CI: approved
Allowed access to CI secrets
enhancement
Something new the playground could do
#773
by HKalbasi
was merged Feb 6, 2022
Loading…
Feature: copying embedded code link
enhancement
Something new the playground could do
#414
by weihanglo
was merged Oct 13, 2018
Loading…
Make Something new the playground could do
--pids-limit
a default feature
enhancement
#49
by Byron
was merged Aug 7, 2016
Loading…
Add troubleshooting for Docker mount denied on mac
maintenance
Keeping the wheels turning
#481
by CYBAI
was merged Apr 20, 2019
Loading…
♪ EditiooOoOOnnN ! ♫
CI: approved
Allowed access to CI secrets
#739
by lqd
was merged Oct 21, 2021
Loading…
Add demangling and directive hiding for asm
enhancement
Something new the playground could do
#228
by wfchandler
was merged Nov 16, 2017
Loading…
fix some a11y issues
enhancement
Something new the playground could do
#620
by lpmi-13
was merged Jul 10, 2020
Loading…
Allow third parties to easily deploy custom playgrounds
#803
by rickwebiii
was closed Jul 5, 2022
Loading…
Update address bar after saving Gist
CI: approved
Allowed access to CI secrets
enhancement
Something new the playground could do
#873
by clubby789
was merged Jan 20, 2023
Loading…
Switch to server-side gists
maintenance
Keeping the wheels turning
#270
by shepmaster
was merged Mar 11, 2018
Loading…
Implement playground-specific custom metadata to control enabled features
enhancement
Something new the playground could do
#326
by dtolnay
was merged May 12, 2018
Loading…
Make rustfmt honor selected edition
enhancement
Something new the playground could do
#482
by CYBAI
was merged Apr 26, 2019
Loading…
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.