[anneal] Add playground metadata - #3538
Conversation
gherrit-pr-id: G65mwqxbdjmwi2jj4gocgwsitq76ek3dh
|
Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits. |
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #3538 +/- ##
=======================================
Coverage 91.85% 91.85%
=======================================
Files 20 20
Lines 6093 6093
=======================================
Hits 5597 5597
Misses 496 496 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
|
@codex review |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 2ad3fe6d64
ℹ️ About Codex in GitHub
Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
| The Rust Playground follows the same security reporting procedures as | ||
| the main Rust organization. If you have found a vulnerability in the | ||
| Playground, please report it according to [the Rust security |
There was a problem hiding this comment.
For this Anneal playground fork, this new security policy sends vulnerability reports to the Rust project's security process rather than to the maintainers/operators of the Anneal playground in this repository. If a sandbox escape or service-specific issue is found, reporters following this file will disclose it to the wrong project, delaying triage and remediation for the actual deployed playground.
Useful? React with 👍 / 👎.
|
|
||
| There are some optional configuration parameters described in the | ||
| [ui README](./ui/README.md) which you may set in a `.env` file. The server will | ||
| run with no configuration, but in order to load and save gists a GitHub token |
There was a problem hiding this comment.
In this commit, the development section tells contributors to read ./ui/README.md for optional server configuration, but the playground tree added here has no ui/README.md (nor any ui directory). Anyone following the documented setup path hits a missing file before they can configure or run the service, so this link should either target documentation that is added with the playground or be removed until that documentation exists.
Useful? React with 👍 / 👎.
| This is the home of the [Rust Playground][real], | ||
| also [hosted by Integer 32][us]. |
There was a problem hiding this comment.
Although this file is for Rust Anneal Playground, these lines identify it as the Rust Playground and send readers to play.rust-lang.org / Integer 32 instead of the Anneal playground or this repository. Users or contributors following the README from the new metadata directory will land on the unrelated upstream service, so the project description and links need to point at the Anneal playground.
Useful? React with 👍 / 👎.
2 participants
Latest Update: v12 — Compare vs v11
📚 Full Patch History
Links show the diff between the row version and the column version.
⬇️ Download this PR
Branch
git fetch origin refs/heads/G65mwqxbdjmwi2jj4gocgwsitq76ek3dh && git checkout -b pr-G65mwqxbdjmwi2jj4gocgwsitq76ek3dh FETCH_HEADCheckout
git fetch origin refs/heads/G65mwqxbdjmwi2jj4gocgwsitq76ek3dh && git checkout FETCH_HEADCherry Pick
git fetch origin refs/heads/G65mwqxbdjmwi2jj4gocgwsitq76ek3dh && git cherry-pick FETCH_HEADPull
Stacked PRs enabled by GHerrit.