issues Search Results · language:Dune language:JavaScript language:Python language:Java language:Java language:JavaScript
Filter by
55M results
Hi,
We ve been working on K-Lean (https://github.com/Heime-Jorgen/kenosian-lean4) — a Lean 4 library providing
machine-verified mathematical contracts for computational biology.
Given ChemicalX s work ...
Heime-Jorgen
!--
Have you read the Debugging SDKs doc yet?
There are common setup gotchas that happen with Percy s SDKs, it would be worth reading the debugging document, which
might already answer your question: ...
david-pulkowski
Problem
Career Quiz multiplayer does not visually emphasize guess outcomes enough.
Expected behavior
When a player guesses correctly, the UI should show simple, polished positive feedback such as green ...
filip998
Problem
When a player guesses correctly in Career Quiz multiplayer, the correct answer is only shown to the player who made the
correct guess. The opponent does not see the revealed answer.
Expected ...
Problem
The current Career Quiz multiplayer scoreboard is hard to notice and visually weak.
Expected behavior
Improve the scoreboard UI and placement so it is easy to see during gameplay. Add simple ...
Problem
In Career Quiz multiplayer, after a no-answer/draw offer is accepted, only the player who accepted the draw sees the
correct answer.
Expected behavior
When a no-answer/draw offer is accepted ...
Problem
Solo Career Quiz shows player images, but multiplayer does not.
Expected behavior
Career Quiz multiplayer should display player images in the same way solo mode does, reusing the existing solo-mode ...
Problem
When typing a player name and only one player remains in the search results, pressing Enter does not submit that player.
This likely affects multiple quiz games, not just Career Quiz multiplayer. ...
Problem
Even when shared guesses are enabled in Career Quiz multiplayer, wrong guesses made by the other player are not visible.
Expected behavior
When guesses are configured as shared, wrong guesses ...
Problem
In Career Quiz multiplayer, when a no-answer/draw offer is sent and the opponent does not accept or decline it, the
message No-answer offer sent. can remain visible even after the opponent guesses ...
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.