issues Search Results · language:Edge language:Python linked:pr linked:pr language:JavaScript language:Java language:Python
Filter by
5.8M results
Describe the bug
With lazy clause generation enabled, the solver can report UNSAT on a satisfiable model. It happens when a value
selector instantiates a variable to a value no longer in its domain. IntDomainMiddle ...
bug
rasros
html body !--StartFragment-- html head /head body h1 Add User Registration Endpoint /h1 h2 Description /h2 p Add a
dedicated HTTP endpoint for registering Mealio users with a securely hashed password. ...
Pavel404-dev
The backend-equivalence tests in test_contour.py (TestBackendEquivalence) all use elevation_raster_no_nans, so none of
them feed a raster with NaN cells through the four backends. The one NaN-input test, ...
backend-coverage
sweep-test-coverage
tests
brendancol
Проблема
После PR #325 редактор яркости/контраста работает только для мини-фото слотов циферблата/раскладок. Центральное фото
клиента/цели не редактируется.
Причина по коду:
- мини-слоты используют ...
enhancement
power-place
profile-lite
andylitvinov-design
Problem
Users can leave the dashboard open across local midnight and continue seeing stale day-range totals until they manually
refresh the browser page. The local startup path also did not clearly report ...
pitimon
Problem
The travel mode selector in the route planning sheet shows plain text buttons ( Drive , Walk ). These take up a lot of
space and look less polished than icon-based selectors.
Expected Behavior ...
enhancement
philippsnr
Issue class
implementation-slice
Roadmap goal advanced
Player-data source-of-truth / endpoint-backed simulator input reliability
Repo layer touched
test-harness / selected simulator player-data handoff ...
BLON333
Problem
Users can leave the dashboard open across local midnight and continue seeing stale day-range totals until they manually
refresh the browser page. The local startup path also did not clearly report ...
poulok
bonel1to
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.
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.