issues Search Results · language:Edge language:Python language:JavaScript language:Java language:JavaScript language:Python
Filter by
55.4M results
Preflight Checklist
- [x] I have searched existing issues and this hasn t been reported yet
- [x] This is a single bug report (please file separate reports for different bugs)
- [x] I am using the ...
area:desktop
area:ui
bug
platform:macos
We want to use orga as a parser for a byte-stable Org editor. For that use case, timestamps such as
CLOSED/CLOCK/SCHEDULED/DEADLINE need to remain opaque source spans; we do not need JS Date values.
Would ...
When trimming pants anytime more than once the trims no longer render at all. After reinstalling the mod, no armor that
had more than one trim render their trims either. tested in both vanilla and vanilla ...
bug
Producer cho ULP-4.3 (Student xem PDF) và ULP-4.4 (Student tải tài liệu).
Lecturer upload file PDF, DOCX, slide... đính kèm vào Lesson.
User story
Là Lecturer, tôi muốn đính kèm tài liệu bổ sung (PDF, ...
core
lecturer
lesson
priority:high
sprint:sprint-3
status:todo
type:story
Producer side cho Sprint 3 Lesson — story trọng tâm nhất.
Lecturer soạn nội dung bài học bằng rich-text editor (TinyMCE / Quill / Lexical) và publish cho sinh viên trong lớp.
User story
Là Lecturer, ...
core
lecturer
lesson
priority:highest
sprint:sprint-3
status:todo
type:story
Auftrag
Datenmodell/ATP/Graph-Runtime nach dem Workspace-Release konsolidieren: bestehende ATP-Runtime-Contracts, Dokumentation,
Tests und Graph-Projektion sollen dieselben Grenzen ausdrücken.
Befund ...
enhancement
Submission URL
https://github.com/doxtor6/lean-eval/tree/7b3bc037db402c14c0515366491c1ea1bc35dbc9
Model
MerLean-Prover
How this solution was produced (optional)
No response
Acknowledgements
- ...
submission
Producer side cho Sprint 3 Lesson.
Lecturer (owner của lớp) tạo các Section (chương) trong lớp của mình để tổ chức Lesson theo nhóm.
User story
Là Lecturer, tôi muốn tạo/sửa/xoá các chương (Section) ...
core
lecturer
lesson
priority:highest
sprint:sprint-3
status:todo
type:story

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.