issues Search Results · language:Dune language:JavaScript language:JavaScript language:JavaScript language:Go language:Java
Filter by
38.8M results
功能存在性验证 | Feature Verification
- [x] 我已从 GitHub Actions 下载并测试了最新版本,确认没有此功能。 | I have downloaded and tested the latest version from GitHub Actions and
confirmed this feature is missing.
- [x] 我已看过 ...
enhancement
Symptom
A single heavy session accumulated 3,970 engram-embed-model-* dirs = 266 GB under \$TMPDIR (/var/folders/.../T/),
filling the disk to 0 bytes and blocking all work. Each dir is ~87 MB (the extracted ...
Context
This is the final stage of the least-privilege token rollout (see docs/configuration/config-reference.md). Stage 1
introduced vault.policies / vault.no_default_policy with backwards-compatible ...
Context
Stage 1 (introduced in the least-privilege token policies work) added vault.policies and vault.no_default_policy so a
deployment can downscope its working Vault token to a least-privilege child ...
The GitHub Skills activity announced by our principal is missing from the school activities signup page.
Yesterday in the school assembly, the principal announced a new partnership with GitHub to teach ...
enhancement
Now that we have many activities, the list on the left is too long so it is hard to navigate. And the add dialog is far
away from the activity.
- Move the cards to the bottom
- Remove the registration ...
enhancement
Problem
Students are removing each other to free up space for themselves in the activities.
Recommended Solution
Add a user icon in the top right. When clicked it shows a login button. When the login ...
enhancement
The website is blue, but our school colors are white and lime green. Please fix this.
Also, why are none of our mascots on the page? Please use the various options from https://octodex.github.com/
Oh ...
bug
Teachers are afraid to modify the program since they think they might break it. Move the list of activities out of the
python file into a dedicated activities.json file.
enhancement
There seems to be no order to the activities. Please fix this.
Here are my ideas, maybe in a toolbar above the activity cards.
- Add some filters, for example by category. If needed, add a field to ...
enhancement

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.